Revision: 7139 Author: [email protected] Date: Mon Nov 23 14:39:18 2009 Log: Disconnected plugin glasspanel lightened to 75% opacity.
Review by: bruce, abowers http://code.google.com/p/google-web-toolkit/source/detail?r=7139 Modified: /trunk/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html ======================================= --- /trunk/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html Mon Nov 23 14:17:52 2009 +++ /trunk/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html Mon Nov 23 14:39:18 2009 @@ -159,7 +159,7 @@ var outer = topDoc.createElement("div"); // Do not insert whitespace or outer.firstChild will get a text node. outer.innerHTML = - '<div style="position:absolute;z-index:2147483646;left:0px;top:0px;right:0px;bottom:0px;filter:alpha(opacity=80);opacity:0.80;background-color:#000000;"></div>' + + '<div style="position:absolute;z-index:2147483646;left:0px;top:0px;right:0px;bottom:0px;filter:alpha(opacity=75);opacity:0.75;background-color:#000000;"></div>' + '<div style="position:absolute;z-index:2147483647;left:50px;top:50px;width:600px;color:#FFFFFF;font-family:verdana;">' + '<div style="font-size:30px;font-weight:bold;">GWT Code Server Disconnected</div>' + '<p style="font-size:15px;"> Most likely, you closed GWT development mode. Or you might have lost network connectivity. To fix this, try restarting GWT Development Mode and <a style="color: #FFFFFF; font-weight: bold;" href="javascript:location.reload()">REFRESH</a> this page.</p>' + -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
