void () { myDisposed = true; Disposer.dispose(getBrowser()); Disposer.dispose(myCommitMessageArea); Disposer.dispose(myOKButtonUpdateAlarm); super.dispose(); Disposer.dispose(myDiffDetails); PropertiesComponent.getInstance().setValue(SPLITTER_PROPORTION_OPTION, mySplitter.getProportion(), SPLITTER_PROPORTION_OPTION_DEFAULT); float usedProportion = myDetailsSplitter.getUsedProportion(); if (usedProportion > 0) { PropertiesComponent.getInstance().setValue(DETAILS_SPLITTER_PROPORTION_OPTION, usedProportion, DETAILS_SPLITTER_PROPORTION_OPTION_DEFAULT); } PropertiesComponent.getInstance().setValue(DETAILS_SHOW_OPTION, myDetailsSplitter.isOn(), DETAILS_SHOW_OPTION_DEFAULT); }