()
| 986 | glfwGetWindowPos(window, glfwGetWindowWidth_x, glfwGetWindowWidth_y); |
| 987 | return glfwGetWindowWidth_x.get(0); |
| 988 | } |
| 989 | |
| 990 | private int glfwGetWindowY(long window) { |
| 991 | glfwGetWindowPos(window, glfwGetWindowWidth_x, glfwGetWindowWidth_y); |
| 992 | return glfwGetWindowWidth_y.get(0); |
| 993 | } |
| 994 | |
| 995 | public Saver getScreenshotter() { |
| 996 | if (screenshotter != null) { |
| 997 | if (getFrameBufferWidth() != screenshotter.width || getFrameBufferHeight() != screenshotter.height) { |
| 998 | screenshotter.stop(); |
no test coverage detected