171172173174175176177178179
setBrowserTitle(); } private void setBrowserTitle() { JavaScriptExecutor executor = RWT.getClient().getService( JavaScriptExecutor.class ); executor.execute( "document.title = \"" + title + "\";" ); } }
173174175176177178179180181
setBrowserTitle(); } private void setBrowserTitle() { JavaScriptExecutor executor = RWT.getClient().getService( JavaScriptExecutor.class ); executor.execute( "document.title = \"" + EncodingUtil.encodeHTMLEntities( title ) + "\";" ); } }
170171172173174175176177178