private void formComponentShown() {
if (!theHasBeenSizedFlag) {
theHasBeenSizedFlag = true;
if (theSplitPane != null) {
final int s =
SettingsHandler.getPCGenOption(
"InfoCharacterSheet." + "splitLeftRight", // $NON-NLS-1$
(int) ((this.getSize().getWidth() * 6) / 10));
theSplitPane.setDividerLocation(s);
theSplitPane.addPropertyChangeListener(
JSplitPane.DIVIDER_LOCATION_PROPERTY,
new PropertyChangeListener() {
public void propertyChange(PropertyChangeEvent anEvt) {
SettingsHandler.setPCGenOption(
"InfoCharacterSheet." + "splitLeftRight", // $NON-NLS-1$
anEvt.getNewValue().toString());
}
});
}
}
}
