GLFWAPI void glfwPostEmptyEvent(void) { _GLFW_REQUIRE_INIT(); if (!_glfw.windowListHead) return; _glfwPlatformPostEmptyEvent(); }
GLFWAPI void glfwPostEmptyEvent(void) { _GLFW_REQUIRE_INIT(); _glfwPlatformPostEmptyEvent(); }