246 |
public JViewport() |
public JViewport() |
247 |
{ |
{ |
248 |
setOpaque(true); |
setOpaque(true); |
249 |
setScrollMode(BLIT_SCROLL_MODE); |
String scrollModeProp = |
250 |
|
System.getProperty("gnu.javax.swing.JViewport.scrollMode", |
251 |
|
"BLIT"); |
252 |
|
int myScrollMode; |
253 |
|
if (scrollModeProp.equalsIgnoreCase("simple")) |
254 |
|
myScrollMode = SIMPLE_SCROLL_MODE; |
255 |
|
else if (scrollModeProp.equalsIgnoreCase("backingstore")) |
256 |
|
myScrollMode = BACKINGSTORE_SCROLL_MODE; |
257 |
|
else |
258 |
|
myScrollMode = BLIT_SCROLL_MODE; |
259 |
|
setScrollMode(myScrollMode); |
260 |
|
|
261 |
updateUI(); |
updateUI(); |
262 |
setLayout(createLayoutManager()); |
setLayout(createLayoutManager()); |
263 |
lastPaintPosition = new Point(); |
lastPaintPosition = new Point(); |