+ treegraphic_scroll_pane.getHorizontalScrollBar().addAdjustmentListener( new AdjustmentListener() {
+
+ @Override
+ public void adjustmentValueChanged( final AdjustmentEvent e ) {
+ if ( treepanel.isOvOn() || getOptions().isShowScale() ) {
+ treepanel.repaint();
+ }
+ }
+ } );
+ treegraphic_scroll_pane.getVerticalScrollBar().addAdjustmentListener( new AdjustmentListener() {
+
+ @Override
+ public void adjustmentValueChanged( final AdjustmentEvent e ) {
+ if ( treepanel.isOvOn() || getOptions().isShowScale() ) {
+ treepanel.repaint();
+ //System.out.println( e.getValue() );
+ }
+ }
+ } );