| changeset 2805 | 9f18d7e66042 |
| parent 2464 | 3c6755bdc55f |
| child 5506 | 202f599c92aa |
| 2804:a947dcefc8cb | 2805:9f18d7e66042 |
|---|---|
384 } |
384 } |
385 |
385 |
386 public void setZOrder(ComponentPeer above) { |
386 public void setZOrder(ComponentPeer above) { |
387 } |
387 } |
388 |
388 |
389 public void updateGraphicsData(GraphicsConfiguration gc) {} |
389 public boolean updateGraphicsData(GraphicsConfiguration gc) { |
390 return false; |
|
391 } |
|
390 } |
392 } |