From 9718675d86fe2013c7b5965ff394391f24df02ba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Camilla=20L=C3=B6wy?= Date: Wed, 1 Nov 2017 21:32:50 +0100 Subject: [PATCH] Documentation work Related to #1106. --- docs/monitor.dox | 4 ++-- docs/window.dox | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/monitor.dox b/docs/monitor.dox index 7245f70c..620646d5 100644 --- a/docs/monitor.dox +++ b/docs/monitor.dox @@ -85,8 +85,8 @@ void monitor_callback(GLFWmonitor* monitor, int event) } @endcode -If a monitor is disconnected, any windows that are full screen on it get forced -into windowed mode. +If a monitor is disconnected, all windows that are full screen on it will be +switched to windowed mode. @section monitor_properties Monitor properties diff --git a/docs/window.dox b/docs/window.dox index f2146502..3e8c748f 100644 --- a/docs/window.dox +++ b/docs/window.dox @@ -89,8 +89,8 @@ the desktop. This behavior can be disabled with the [GLFW_AUTO_ICONIFY](@ref GLFW_AUTO_ICONIFY_hint) window hint, for example if you wish to simultaneously cover multiple monitors with full screen windows. -If a monitor is disconnected, any window that is full screen on that monitor -will be forced into windowed mode. See @ref monitor_event for more information. +If a monitor is disconnected, all windows that are full screen on that monitor +will be switched to windowed mode. See @ref monitor_event for more information. @subsubsection window_windowed_full_screen "Windowed full screen" windows