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