From: <jom...@us...> - 2011-09-30 23:09:21
|
Revision: 1663 http://jason.svn.sourceforge.net/jason/?rev=1663&view=rev Author: jomifred Date: 2011-09-30 23:09:14 +0000 (Fri, 30 Sep 2011) Log Message: ----------- better ratio for jason windows Modified Paths: -------------- trunk/src/jason/architecture/AgArch.java trunk/src/jason/control/ExecutionControlGUI.java trunk/src/jason/runtime/MASConsoleGUI.java Modified: trunk/src/jason/architecture/AgArch.java =================================================================== --- trunk/src/jason/architecture/AgArch.java 2011-09-29 18:18:41 UTC (rev 1662) +++ trunk/src/jason/architecture/AgArch.java 2011-09-30 23:09:14 UTC (rev 1663) @@ -195,6 +195,8 @@ * Executes the action <i>action</i> and, when finished, add it back in * <i>feedback</i> actions. */ + // TODO: remove feedback parameter and use getTS().addFeedbackAction + // for jason 2.0 to avoid backward compatibility problems public void act(ActionExec action, List<ActionExec> feedback) { if (successor != null) successor.act(action, feedback); Modified: trunk/src/jason/control/ExecutionControlGUI.java =================================================================== --- trunk/src/jason/control/ExecutionControlGUI.java 2011-09-29 18:18:41 UTC (rev 1662) +++ trunk/src/jason/control/ExecutionControlGUI.java 2011-09-30 23:09:14 UTC (rev 1663) @@ -267,7 +267,7 @@ frame.pack(); Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); int height = (int)(screenSize.height * 0.618); - frame.setBounds(80, 30, (int)(height*1.2), height); + frame.setBounds(80, 30, (int)(height*1.618), height); //splitPaneVer.setDividerLocation((int)(splitPaneVer.getHeight()*0.618)); //splitPaneVer.setDividerLocation(height - 200); Modified: trunk/src/jason/runtime/MASConsoleGUI.java =================================================================== --- trunk/src/jason/runtime/MASConsoleGUI.java 2011-09-29 18:18:41 UTC (rev 1662) +++ trunk/src/jason/runtime/MASConsoleGUI.java 2011-09-30 23:09:14 UTC (rev 1663) @@ -113,7 +113,9 @@ addButton(btClean); - frame.setBounds(200, 20, 824, 500); + int h = 500; + int w = (int)(h*1.618); + frame.setBounds((int)(h*0.618), 20, w, h); } public void setTitle(String s) { This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |