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.

src/ChangeLog

+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

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)));