Searched refs:mainSplitter (Results 1 – 1 of 1) sorted by relevance
132 private JSplitPane mainSplitter; field in Workspace233 mainSplitter = new JSplitPane(); in buildGraphPanel()234 mainSplitter.setResizeWeight(1.0); in buildGraphPanel()235 mainSplitter.setContinuousLayout(true); in buildGraphPanel()237 mainSplitter.setBorder(new UnifiedContentBorder()); in buildGraphPanel()240 mainSplitter.setLeftComponent(sceneScroller); in buildGraphPanel()241 mainSplitter.setRightComponent(buildSideSplitter()); in buildGraphPanel()243 return mainSplitter; in buildGraphPanel()623 mainPanel.add(mainSplitter, BorderLayout.CENTER); in toggleGraphView()648 mainPanel.remove(mainSplitter); in togglePixelPerfectView()[all …]