Disconnected plugin glasspanel lightened to 75% opacity. Review by: bruce, abowers git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@7139 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 0846f0b..0a529d0 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
@@ -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>' +