1 |
/* BasicScrollBarUI.java -- |
/* BasicScrollBarUI.java -- |
2 |
Copyright (C) 2004 Free Software Foundation, Inc. |
Copyright (C) 2004, 2005 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
142 |
*/ |
*/ |
143 |
public void propertyChange(PropertyChangeEvent e) |
public void propertyChange(PropertyChangeEvent e) |
144 |
{ |
{ |
145 |
if (e.getPropertyName().equals(JScrollBar.MODEL_CHANGED_PROPERTY)) |
if (e.getPropertyName().equals("model")) |
146 |
{ |
{ |
147 |
((BoundedRangeModel) e.getOldValue()).removeChangeListener(modelListener); |
((BoundedRangeModel) e.getOldValue()).removeChangeListener(modelListener); |
148 |
scrollbar.getModel().addChangeListener(modelListener); |
scrollbar.getModel().addChangeListener(modelListener); |
149 |
getThumbBounds(); |
getThumbBounds(); |
150 |
} |
} |
151 |
else if (e.getPropertyName().equals(JScrollBar.ORIENTATION_CHANGED_PROPERTY)) |
else if (e.getPropertyName().equals("orientation")) |
152 |
{ |
{ |
153 |
incrButton.removeMouseListener(buttonListener); |
incrButton.removeMouseListener(buttonListener); |
154 |
decrButton.removeMouseListener(buttonListener); |
decrButton.removeMouseListener(buttonListener); |