// {{{ removeNotify() method
@Override
public void removeNotify() {
String prop =
browser.isHorizontalLayout() ? "vfs.browser.horizontalSplitter" : "vfs.browser.splitter";
jEdit.setIntegerProperty(prop, splitPane.getDividerLocation());
super.removeNotify();
} // }}}
