()
| 65 | } |
| 66 | |
| 67 | public static void DeactivateMouse() { |
| 68 | // if (!mouse_avail || c == null) return; |
| 69 | if (mouse_active) { |
| 70 | uninstall_grabs(); |
| 71 | mouse_active = false; |
| 72 | } |
| 73 | } |
| 74 | |
| 75 | private static void install_grabs() { |
| 76 | ClientGlobals.re.getKeyboardHandler().installGrabs(); |
no test coverage detected