public void windowActivated(WindowEvent e) { WindowManager.setWindow(getFrame()); }
public void windowActivated(WindowEvent e) { WindowManager.setWindow(getFrame()); }
void recordGeometry(TreePanel panel) { String pTitle = panel.getRootPath().toString(); pTitle = pStr2Key(pTitle); JFrame frame = panel.getFrame(); if (frame!=null) { Rectangle rect=frame.getBounds(); String xCoord = (new Integer(rect.x)).toString(); String yCoord = (new Integer(rect.y)).toString(); String width = (new Integer(rect.width)).toString(); String height = (new Integer(rect.height)).toString(); if (pTitle.equals("Control_Panel")) pTitle = "Control_Panel.@Main"; String geometry = xCoord+" "+yCoord+" "+width+" "+height; if (IJ.debugMode) IJ.log("CP.recordGeometry: "+pTitle+" "+geometry); Prefs.set(pTitle, geometry); } }
void recordGeometry(TreePanel panel) { String pTitle = panel.getRootPath().toString(); pTitle = pStr2Key(pTitle); JFrame frame = panel.getFrame(); if (frame!=null) { Rectangle rect=frame.getBounds(); String xCoord = (new Integer(rect.x)).toString(); String yCoord = (new Integer(rect.y)).toString(); String width = (new Integer(rect.width)).toString(); String height = (new Integer(rect.height)).toString(); if (pTitle.equals("Control_Panel")) pTitle = "Control_Panel.@Main"; String geometry = xCoord+" "+yCoord+" "+width+" "+height; if (IJ.debugMode) IJ.log("CP.recordGeometry: "+pTitle+" "+geometry); Prefs.set(pTitle, geometry); } }
void restoreGeometry(TreePanel panel) { String pTitle = panel.getRootPath().toString(); pTitle = pStr2Key(pTitle); if (pTitle.equals("Control_Panel")) pTitle = "Control_Panel.@Main"; if (IJ.debugMode) IJ.log("CP.restoreGeometry: "+pTitle); String geom = Prefs.get(pTitle, null); if (geom!=null) { int[] coords = s2ints(geom); if (coords!=null && coords.length==4) panel.setBounds(coords[0],coords[1],coords[2],coords[3]); else { Point pnt = panel.getDefaultLocation(); if (pnt!=null) panel.getFrame().setLocation((int)pnt.getX(),(int)pnt.getY()); } } }
void restoreGeometry(TreePanel panel) { String pTitle = panel.getRootPath().toString(); pTitle = pStr2Key(pTitle); if (pTitle.equals("Control_Panel")) pTitle = "Control_Panel.@Main"; if (IJ.debugMode) IJ.log("CP.restoreGeometry: "+pTitle); String geom = Prefs.get(pTitle, null); if (geom!=null) { int[] coords = s2ints(geom); if (coords!=null && coords.length==4) panel.setBounds(coords[0],coords[1],coords[2],coords[3]); else { Point pnt = panel.getDefaultLocation(); if (pnt!=null) panel.getFrame().setLocation((int)pnt.getX(),(int)pnt.getY()); } } }