Made monitor list cleanup shared.

src/internal.h

@@ -387,5 +387,10 @@ const _GLFWfbconfig* _glfwChooseFBConfig(const _GLFWfbconfig* desired,
 GLboolean _glfwIsValidContextConfig(_GLFWwndconfig* wndconfig);
 GLboolean _glfwIsValidContext(_GLFWwindow* window, _GLFWwndconfig* wndconfig);
 
+// Monitor management (monitor.c)
+void _glfwTerminateMonitors(void);
+
+// platform specific (*_monitor.c)
+_GLFWmonitor* _glfwDestroyMonitor(_GLFWmonitor* monitor);
 
 #endif // _internal_h_

src/monitor.c

@@ -145,3 +145,13 @@ GLFWAPI void glfwSetMonitorDeviceCallback(GLFWmonitordevicefun cbfun)
     _glfwLibrary.monitorCallback= cbfun;
 }
 
+//========================================================================
+// Delete the monitor list.
+//========================================================================
+
+void _glfwTerminateMonitors(void)
+{
+    while (_glfwLibrary.monitorListHead)
+        _glfwLibrary.monitorListHead = _glfwDestroyMonitor(_glfwLibrary.monitorListHead);
+}
+

src/win32_monitor.c

@@ -223,9 +223,3 @@ void _glfwRefreshMonitors(void)
     _glfwLibrary.monitorListHead = newMonitorList;
 }
 
-void _glfwTerminateMonitors(void)
-{
-    while (_glfwLibrary.monitorListHead)
-        _glfwLibrary.monitorListHead = _glfwDestroyMonitor(_glfwLibrary.monitorListHead);
-}
-

src/win32_platform.h

@@ -339,7 +339,6 @@ void _glfwInitTimer(void);
 // Monitor support
 void _glfwInitMonitors(void);
 void _glfwRefreshMonitors(void);
-void _glfwTerminateMonitors(void);
 
 // Fullscreen support
 void _glfwSetVideoMode(int* width, int* height,

src/x11_monitor.c

@@ -128,9 +128,3 @@ void _glfwInitMonitors(void)
     }
 }
 
-void _glfwTerminateMonitors(void)
-{
-    while (_glfwLibrary.monitorListHead)
-        _glfwLibrary.monitorListHead = _glfwDestroyMonitor(_glfwLibrary.monitorListHead);
-}
-

src/x11_platform.h

@@ -281,7 +281,6 @@ void _glfwTerminateJoysticks(void);
 
 // Monitors
 void _glfwInitMonitors(void);
-void _glfwTerminateMonitors(void);
 
 // Unicode support
 long _glfwKeySym2Unicode(KeySym keysym);