Revision: 7100 Author: [email protected] Date: Sat Nov 21 16:04:31 2009 Log: Formatting & fix bug where outer.firstChild would return the wrong node (a text node).
Review by: jat (TBR) http://code.google.com/p/google-web-toolkit/source/detail?r=7100 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 Fri Nov 20 23:49:53 2009 +++ /trunk/dev/core/src/com/google/gwt/core/ext/linker/impl/hosted.html Sat Nov 21 16:04:31 2009 @@ -149,18 +149,18 @@ function __gwt_disconnected() { var doc = window.top.document; var outer = doc.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:2147483647;left:0px;top:0px;width:600px;margin:50px;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>' + - ' </div>' + '<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: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>' + + '</div>' ; doc.body.appendChild(outer); var glass = outer.firstChild; var glassStyle = glass.style; - // Scroll to the top and remove scrollbars. window.scrollTo(0, 0); if (doc.compatMode == "BackCompat") { -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
