Searched refs:sideSplitter (Results 1 – 1 of 1) sorted by relevance
131 private JSplitPane sideSplitter; field in Workspace316 sideSplitter = new JSplitPane(); in buildSideSplitter()317 sideSplitter.setBorder(null); in buildSideSplitter()318 sideSplitter.setOrientation(JSplitPane.VERTICAL_SPLIT); in buildSideSplitter()319 sideSplitter.setResizeWeight(0.5); in buildSideSplitter()320 sideSplitter.setLeftComponent(tablesSplitter); in buildSideSplitter()321 sideSplitter.setBottomComponent(null); in buildSideSplitter()322 sideSplitter.setContinuousLayout(true); in buildSideSplitter()324 return sideSplitter; in buildSideSplitter()736 sideSplitter.remove(extrasPanel); in createGraph()[all …]