185 |
*/ |
*/ |
186 |
public void propertyChange(PropertyChangeEvent e) |
public void propertyChange(PropertyChangeEvent e) |
187 |
{ |
{ |
188 |
if (e.getPropertyName().equals("viewport")) |
String propName = e.getPropertyName(); |
189 |
|
if (propName.equals("viewport")) |
190 |
updateViewport(e); |
updateViewport(e); |
191 |
else if (e.getPropertyName().equals("rowHeader")) |
else if (propName.equals("rowHeader")) |
192 |
updateRowHeader(e); |
updateRowHeader(e); |
193 |
else if (e.getPropertyName().equals("columnHeader")) |
else if (propName.equals("columnHeader")) |
194 |
updateColumnHeader(e); |
updateColumnHeader(e); |
195 |
else if (e.getPropertyName().equals("horizontalScrollBarPolicy") |
else if (propName.equals("horizontalScrollBarPolicy") |
196 |
|| e.getPropertyName().equals("verticalScrollBarPolicy")) |
|| e.getPropertyName().equals("verticalScrollBarPolicy")) |
197 |
updateScrollBarDisplayPolicy(e); |
updateScrollBarDisplayPolicy(e); |
198 |
|
else if (propName.equals("verticalScrollBar")) |
199 |
|
{ |
200 |
|
JScrollBar oldSb = (JScrollBar) e.getOldValue(); |
201 |
|
oldSb.getModel().removeChangeListener(vsbChangeListener); |
202 |
|
JScrollBar newSb = (JScrollBar) e.getNewValue(); |
203 |
|
newSb.getModel().addChangeListener(vsbChangeListener); |
204 |
|
} |
205 |
|
else if (propName.equals("horizontalScrollBar")) |
206 |
|
{ |
207 |
|
JScrollBar oldSb = (JScrollBar) e.getOldValue(); |
208 |
|
oldSb.getModel().removeChangeListener(hsbChangeListener); |
209 |
|
JScrollBar newSb = (JScrollBar) e.getNewValue(); |
210 |
|
newSb.getModel().addChangeListener(hsbChangeListener); |
211 |
|
} |
212 |
} |
} |
213 |
|
|
214 |
} |
} |