void () { boolean showDetails = PropertiesComponent.getInstance().getBoolean(DETAILS_SHOW_OPTION, DETAILS_SHOW_OPTION_DEFAULT); if (showDetails) { myDetailsSplitter.initOn(); myDetailsSplitter.setInitialProportion(); runWhenWindowOpened(getWindow(), () -> { myDetailsSplitter.setInitialProportion(); refreshDetails(false, false); }); } }