45 |
import java.awt.Point; |
import java.awt.Point; |
46 |
import java.awt.Rectangle; |
import java.awt.Rectangle; |
47 |
|
|
|
import javax.accessibility.Accessible; |
|
48 |
import javax.swing.event.ChangeEvent; |
import javax.swing.event.ChangeEvent; |
49 |
import javax.swing.event.ChangeListener; |
import javax.swing.event.ChangeListener; |
50 |
import javax.swing.plaf.ViewportUI; |
import javax.swing.plaf.ViewportUI; |
51 |
|
|
|
|
|
52 |
/** |
/** |
53 |
* |
* |
54 |
* <pre> |
* <pre> |
212 |
getExtentSize()); |
getExtentSize()); |
213 |
} |
} |
214 |
|
|
215 |
|
/** |
216 |
|
* @deprecated 1.4 |
217 |
|
*/ |
218 |
public boolean isBackingStoreEnabled() |
public boolean isBackingStoreEnabled() |
219 |
{ |
{ |
220 |
return scrollMode == BACKINGSTORE_SCROLL_MODE; |
return scrollMode == BACKINGSTORE_SCROLL_MODE; |
221 |
} |
} |
222 |
|
|
223 |
|
/** |
224 |
|
* @deprecated 1.4 |
225 |
|
*/ |
226 |
public void setBackingStoreEnabled(boolean b) |
public void setBackingStoreEnabled(boolean b) |
227 |
{ |
{ |
228 |
if (b && scrollMode != BACKINGSTORE_SCROLL_MODE) |
if (b && scrollMode != BACKINGSTORE_SCROLL_MODE) |