equal
deleted
inserted
replaced
1270 */ |
1270 */ |
1271 public void paletteChanged() { |
1271 public void paletteChanged() { |
1272 displayChanger.notifyPaletteChanged(); |
1272 displayChanger.notifyPaletteChanged(); |
1273 } |
1273 } |
1274 |
1274 |
|
1275 /** |
|
1276 * Returns true when the display is local, false for remote displays. |
|
1277 * |
|
1278 * @return true when the display is local, false for remote displays |
|
1279 */ |
|
1280 public abstract boolean isDisplayLocal(); |
|
1281 |
1275 /* |
1282 /* |
1276 * ----DISPLAY CHANGE SUPPORT---- |
1283 * ----DISPLAY CHANGE SUPPORT---- |
1277 */ |
1284 */ |
1278 |
1285 |
1279 protected SunDisplayChanger displayChanger = new SunDisplayChanger(); |
1286 protected SunDisplayChanger displayChanger = new SunDisplayChanger(); |