(Window window)
| 83 | } |
| 84 | |
| 85 | static public void arrowDown(Window window) { |
| 86 | if (arrowDown == 0) arrowDown = loadResource("arrowDown.jpg"); |
| 87 | |
| 88 | Log.log("cursors", () -> "setting to arrow"); |
| 89 | if (currentCursor != arrowDown) glfwSetCursor(window.getGLFWWindowReference(), currentCursor = arrowDown); |
| 90 | } |
| 91 | |
| 92 | static public void arrowUp(Window window) { |
| 93 | if (arrowUp == 0) arrowUp = loadResource("arrowUp.jpg"); |
no test coverage detected