deac/osd-contiki
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

restores last window state (size, location)

Browse source
This commit is contained in:
fros4943 2007-03-22 23:01:11 +00:00
parent 5d7af1bd2f
commit 104bb5b222
1 changed files with 22 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
tools/cooja/java/se/sics/cooja/GUI.java
View file

@ -24,7 +24,7 @@
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
* *
* $Id: GUI.java,v 1.28 2007/03/22 22:36:04 fros4943 Exp $ * $Id: GUI.java,v 1.29 2007/03/22 23:01:11 fros4943 Exp $
*/ */
package se.sics.cooja; package se.sics.cooja;
@ -535,6 +535,18 @@ public class GUI {
frame.setLocationRelativeTo(null); frame.setLocationRelativeTo(null);
frame.addWindowListener(gui.guiEventHandler); frame.addWindowListener(gui.guiEventHandler);
// Restore last frame size and position
if (frame != null) {
int framePosX = Integer.parseInt(getExternalToolsSetting("FRAME_POS_X", "-1"));
int framePosY = Integer.parseInt(getExternalToolsSetting("FRAME_POS_Y", "-1"));
int frameWidth = Integer.parseInt(getExternalToolsSetting("FRAME_WIDTH", "-1"));
int frameHeight = Integer.parseInt(getExternalToolsSetting("FRAME_HEIGHT", "-1"));
if (framePosX >= 0 && framePosY >= 0 && frameWidth > 0 && frameHeight > 0) {
frame.setLocation(framePosX, framePosY);
frame.setSize(frameWidth, frameHeight);
}
}
// Display the window. // Display the window.
frame.setVisible(true); frame.setVisible(true);
} }
@ -1955,6 +1967,15 @@ public class GUI {
for (Object plugin : plugins) for (Object plugin : plugins)
removePlugin((Plugin) plugin, false); removePlugin((Plugin) plugin, false);
// Restore last frame size and position
if (frame != null) {
setExternalToolsSetting("FRAME_POS_X", "" + frame.getLocationOnScreen().x);
setExternalToolsSetting("FRAME_POS_Y", "" + frame.getLocationOnScreen().y);
setExternalToolsSetting("FRAME_WIDTH", "" + frame.getWidth());
setExternalToolsSetting("FRAME_HEIGHT", "" + frame.getHeight());
saveExternalToolsUserSettings();
}
System.exit(0); System.exit(0);
} }