Use glass panel isntead of alert() when displaying dev mode connection failures,
because modal dialog boxes are annoying and consume unnecessary keystrokes or
mouse clicks before you are able to refresh the page.

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

Review by: jlabanca@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@10194 8db76d5a-ed1c-0410-87a9-c151d255dfc7

dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js

diff --git a/dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js b/dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js
index 99bce6f..9b415a3 100644
--- a/dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js
+++ b/dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js
@@ -314,7 +314,8 @@
   if ($errFn) {
     $errFn($moduleName);
   } else {
-    alert("Plugin failed to connect to Development Mode server at " + codeServer);
+    __gwt_displayGlassMessage("Plugin failed to connect to Development Mode server at " + codeServer,
+        "Follow the underlying troubleshooting instructions");
     loadIframe("http://code.google.com/p/google-web-toolkit/wiki/TroubleshootingOOPHM");
   }
 }

dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html

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 86db1ad..1c49f53 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
@@ -295,7 +295,8 @@
       if (errFn) {
         errFn(modName);
       } else {
-        alert("Plugin failed to connect to Development Mode server at " + $hosted);
+        __gwt_displayGlassMessage("Plugin failed to connect to Development Mode server at " + $hosted,
+            "Follow the underlying troubleshooting instructions");
         loadIframe("http://code.google.com/p/google-web-toolkit/wiki/TroubleshootingOOPHM");
       }
     }