+ @Override
+ public void componentHidden( final ComponentEvent e ) {
+ // Do nothing.
+ }
+
+ @Override
+ public void componentMoved( final ComponentEvent e ) {
+ // Do nothing.
+ }
+
+ @Override
+ public void componentResized( final ComponentEvent e ) {
+ if ( getCurrentTreePanel() != null ) {
+ getCurrentTreePanel().updateOvSettings();
+ getCurrentTreePanel().updateOvSizes();
+ }
+ }
+
+ @Override
+ public void componentShown( final ComponentEvent e ) {
+ // Do nothing.
+ }
+
+ public ControlPanel getControlPanel() {
+ return _control_panel;
+ }
+
+ public Set<Long> getCopiedAndPastedNodes() {
+ return _copied_and_pasted_nodes;
+ }
+
+ public TreePanel getCurrentTreePanel() {
+ final int selected = getTabbedPane().getSelectedIndex();
+ if ( selected >= 0 ) {
+ return _treepanels.get( selected );
+ }
+ else {
+ if ( _treepanels.size() == 1 ) {
+ return _treepanels.get( 0 );
+ }
+ else {
+ return null;
+ }
+ }
+ }
+
+ public Options getOptions() {
+ return _mainframe.getOptions();
+ }
+
+ public JTabbedPane getTabbedPane() {
+ return _tabbed_pane;
+ }
+
+ public TreeFontSet getTreeFontSet() {
+ return _fontset;
+ }
+
+ public void setArrowCursor() {
+ setCursor( TreePanel.ARROW_CURSOR );
+ repaint();
+ }
+
+ public void setCopiedAndPastedNodes( final Set<Long> node_ids ) {
+ _copied_and_pasted_nodes = node_ids;
+ }
+
+ public void setWaitCursor() {
+ setCursor( TreePanel.WAIT_CURSOR );
+ repaint();
+ }
+