Fix bug #16517 with display change on MS-Windows while in full-screen mode.

 src/w32term.c (w32_read_socket): When the WM_DISPLAYCHANGE message
 arrives, call x_check_fullscreen, in case the new display has a
 different resolution.

2 files changed, 10 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index 89b4c06def1..4f4f14e6020 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2014-01-25  Fabrice Popineau  <fabrice.popineau@gmail.com>
+
+        * w32term.c (w32_read_socket): When the WM_DISPLAYCHANGE message
+        arrives, call x_check_fullscreen, in case the new display has a
+        different resolution.  (Bug#16517)
+
 2014-01-25  Eli Zaretskii  <eliz@gnu.org>
 
         * term.c (read_menu_input): If the selected frame changes, exit
diff --git a/src/w32term.c b/src/w32term.c
index a59d5d6edc0..03d5a0047bc 100644
--- a/src/w32term.c
+++ b/src/w32term.c
@@ -4841,6 +4841,10 @@ w32_read_socket (struct terminal *terminal,
           if (f)
             {
               dpyinfo->n_cbits = msg.msg.wParam;
+              /* The new display could have a different resolution, in
+                 which case we must reconsider what fullscreen
+                 means.  */
+              x_check_fullscreen (f);
               DebPrint (("display change: %d %d\n",
                          (short) LOWORD (msg.msg.lParam),
                          (short) HIWORD (msg.msg.lParam)));