()
| 73 | } |
| 74 | |
| 75 | private static void install_grabs() { |
| 76 | ClientGlobals.re.getKeyboardHandler().installGrabs(); |
| 77 | ignorefirst = true; |
| 78 | } |
| 79 | |
| 80 | private static void uninstall_grabs() { |
| 81 | ClientGlobals.re.getKeyboardHandler().uninstallGrabs(); |
no test coverage detected