When dev mode fails to load a module, update the $wnd.title with a summary of the
error, so that the error can be seen even when the browser is minimized in
task bar. This can be useful when developing by keeping all windows full-screen,
i.e. it can save the developer from having to CMD-TAB/ALT-TAB between editor
and browser to see the error. This work continues where r8509 left off.

Fixes Issues: 1617

Review at http://gwt-code-reviews.appspot.com/750802

Review by: scottb@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@8518 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html b/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html
index dfd3d1c..70750c5 100644
--- a/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html
+++ b/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html
@@ -202,6 +202,8 @@
     // Nasty CSS; onresize would be better but the outer window won't let us add a listener IE.
     glassStyle.setExpression("height", "document.documentElement.clientHeight");
   }
+
+  $doc.title = summary + " [" + $doc.title + "]";
 }
 
 function findPluginObject() {