()
| 1107 | } |
| 1108 | |
| 1109 | protected void toggleFullscreen() { |
| 1110 | isFullscreen = !isFullscreen; |
| 1111 | |
| 1112 | if (isFullscreen) |
| 1113 | setExtendedState(Frame.MAXIMIZED_BOTH); |
| 1114 | else |
| 1115 | setExtendedState(Frame.NORMAL); |
| 1116 | } |
| 1117 | |
| 1118 | protected void mark(int number) { |
| 1119 | cancelSearch(); |