3303                 tabScroller.scrollForwardButton.setBackground(newColor);
3304                 tabScroller.scrollBackwardButton.setBackground(newColor);
3305             } else if (name == "indexForTabComponent") {
3306                 if (tabContainer != null) {
3307                     tabContainer.removeUnusedTabComponents();
3308                 }
3309                 final Component c = tabPane.getTabComponentAt((Integer)e.getNewValue());
3310                 if (c != null) {
3311                     if (tabContainer == null) {
3312                         installTabContainer();
3313                     } else {
3314                         tabContainer.add(c);
3315                     }
3316                 }
3317                 tabPane.revalidate();
3318                 tabPane.repaint();
3319                 calculatedBaseline = false;
3320             } else if (name == "indexForNullComponent") {
3321                 isRunsDirty = true;
3322                 updateHtmlViews((Integer) e.getNewValue(), true);
3323             } else if (name == "font") {
3324                 calculatedBaseline = false;
3325             }
3326         }
3327 
3328         //
3329         // ChangeListener
3330         //
3331         public void stateChanged(final ChangeEvent e) {
3332             final JTabbedPane tabPane = (JTabbedPane)e.getSource();
3333             tabPane.revalidate();
3334             tabPane.repaint();
3335 
3336             setFocusIndex(tabPane.getSelectedIndex(), false);
3337 
3338             if (scrollableTabLayoutEnabled()) {
3339                 final int index = tabPane.getSelectedIndex();
3340                 if (index < rects.length && index != -1) {
3341                     tabScroller.tabPanel.scrollRectToVisible((Rectangle)rects[index].clone());
3342                 }
3343             }

3303                 tabScroller.scrollForwardButton.setBackground(newColor);
3304                 tabScroller.scrollBackwardButton.setBackground(newColor);
3305             } else if (name == "indexForTabComponent") {
3306                 if (tabContainer != null) {
3307                     tabContainer.removeUnusedTabComponents();
3308                 }
3309                 final Component c = tabPane.getTabComponentAt((Integer)e.getNewValue());
3310                 if (c != null) {
3311                     if (tabContainer == null) {
3312                         installTabContainer();
3313                     } else {
3314                         tabContainer.add(c);
3315                     }
3316                 }
3317                 tabPane.revalidate();
3318                 tabPane.repaint();
3319                 calculatedBaseline = false;
3320             } else if (name == "indexForNullComponent") {
3321                 isRunsDirty = true;
3322                 updateHtmlViews((Integer) e.getNewValue(), true);
3323             } else if (name == "font" || name == "graphicsConfiguration") {
3324                 calculatedBaseline = false;
3325             }
3326         }
3327 
3328         //
3329         // ChangeListener
3330         //
3331         public void stateChanged(final ChangeEvent e) {
3332             final JTabbedPane tabPane = (JTabbedPane)e.getSource();
3333             tabPane.revalidate();
3334             tabPane.repaint();
3335 
3336             setFocusIndex(tabPane.getSelectedIndex(), false);
3337 
3338             if (scrollableTabLayoutEnabled()) {
3339                 final int index = tabPane.getSelectedIndex();
3340                 if (index < rects.length && index != -1) {
3341                     tabScroller.tabPanel.scrollRectToVisible((Rectangle)rects[index].clone());
3342                 }
3343             }