void () { if (!myDumbContentViewer && !mySettings.isHideProperties()) myContext.putUserData(FOCUSED_VIEWER_KEY, myPropertiesViewerFocused); mySettings.setSplitterProportion(mySplitter.getProportion()); }