private void readSettings(PropertyStorage props, String prefix) { if (initialized) { int loc = props.getIntProperty(prefix + "divider", 200); splitPane.setDividerLocation(loc); findPanel.restoreSettings(props, prefix); } }
private void storeSettings(PropertyStorage props, String prefix) { props.setProperty(prefix + "divider", this.splitPane.getDividerLocation()); }