Searched refs:pushSelectionToManager (Results 1 – 1 of 1) sorted by relevance
815 static void pushSelectionToManager(_GLFWwindow* window) in pushSelectionToManager() function1622 pushSelectionToManager(window); in _glfwPlatformDestroyWindow()