void saveProperties() { if (IJ.debugMode) IJ.log("CP.saveProperties: "+propertiesChanged); if (propertiesChanged) { clearProperties(); for (Enumeration e=visiblePanels.elements(); e.hasMoreElements();) { String s = (String)e.nextElement(); TreePanel p = (TreePanel)panels.get(s); if (p!=null) recordGeometry(p); } for(Enumeration e=expandedNodes.elements(); e.hasMoreElements();) Prefs.set((String)e.nextElement(),"expand"); } propertiesChanged=false; }
void saveProperties() { if (IJ.debugMode) IJ.log("CP.saveProperties: "+propertiesChanged); if (propertiesChanged) { clearProperties(); for (Enumeration e=visiblePanels.elements(); e.hasMoreElements();) { String s = (String)e.nextElement(); TreePanel p = (TreePanel)panels.get(s); if (p!=null) recordGeometry(p); } for(Enumeration e=expandedNodes.elements(); e.hasMoreElements();) Prefs.set((String)e.nextElement(),"expand"); } propertiesChanged=false; }