void (boolean verticalSplit) { boolean changed = myVerticalSplit != verticalSplit; myVerticalSplit = verticalSplit; myDivider.setOrientation(verticalSplit); if (changed) firePropertyChange(PROP_ORIENTATION, !myVerticalSplit, myVerticalSplit); revalidate(); repaint(); }