| changeset 42739 | 36f46e978c31 |
| parent 41803 | 635c82908fdf |
| child 43722 | 25ba19c20260 |
| 42738:67c248b945d5 | 42739:36f46e978c31 |
|---|---|
1855 } |
1855 } |
1856 Long time = map.get(w); |
1856 Long time = map.get(w); |
1857 return time == null ? -1 : time; |
1857 return time == null ? -1 : time; |
1858 } |
1858 } |
1859 |
1859 |
1860 public void updateScreenMenuBarUI() { |
|
1861 } |
|
1862 |
|
1860 // Cosntant alpha |
1863 // Cosntant alpha |
1861 public boolean isWindowOpacitySupported() { |
1864 public boolean isWindowOpacitySupported() { |
1862 return false; |
1865 return false; |
1863 } |
1866 } |
1864 |
1867 |