JBSplitter (@NotNull String proportionProperty, float defaultProportion, boolean splitVertically) { JBSplitter splitter = new OnePixelSplitter(splitVertically, proportionProperty, defaultProportion); splitter.setHonorComponentsMinimumSize(true); return splitter; }