protected final void setPreferences() { ////////////////////////////////////////////////////////////// // Store file history fileHistory.copyInto(getPreferences()); ////////////////////////////////////////////////////////////// // Store frame properties getPreferences().setPropertyInt("frame.location.x", getMainFrame().getLocation().x); getPreferences().setPropertyInt("frame.location.y", getMainFrame().getLocation().y); getPreferences().setPropertyInt("frame.size.width", getMainFrame().getSize().width); getPreferences().setPropertyInt("frame.size.height", getMainFrame().getSize().height); getPreferences().setPropertyBool("frame.ui.dblbuf", RepaintManager.currentManager(getMainFrame()).isDoubleBufferingEnabled()); ////////////////////////////////////////////////////////////// getPreferences().setPropertyBool(PROPERTY_KEY_APP_DEBUG_ENABLED, debugEnabled); }