(int x, int y)
| 10529 | |
| 10530 | |
| 10531 | public void frameMoved(int x, int y) { |
| 10532 | if (!fullScreen) { |
| 10533 | System.err.println(EXTERNAL_MOVE + " " + x + " " + y); |
| 10534 | System.err.flush(); // doesn't seem to help or hurt |
| 10535 | } |
| 10536 | } |
| 10537 | |
| 10538 | |
| 10539 | public void frameResized(int w, int h) { |
no test coverage detected