Searched refs:extrasPanel (Results 1 – 1 of 1) sorted by relevance
139 private JPanel extrasPanel; field in Workspace735 if (extrasPanel != null) { in createGraph()736 sideSplitter.remove(extrasPanel); in createGraph()763 extrasPanel = new JPanel(new BorderLayout()); in buildExtrasPanel()767 extrasPanel.add(p); in buildExtrasPanel()768 extrasPanel.add(scene.createSatelliteView(), BorderLayout.SOUTH); in buildExtrasPanel()769 extrasPanel.add(buildLayoutViewControlButtons(), BorderLayout.NORTH); in buildExtrasPanel()770 return extrasPanel; in buildExtrasPanel()