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