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());
}
