BrowserWidget
ModuleSpaceHost
580581582583584585586587588
Property userAgent = props.find("user.agent"); if (userAgent != null) { userAgent.setActiveValue(userAgentString); } } BrowserWidgetHost browserHost = getBrowserHost(); assert (browserHost != null); browserHost.compile(module); }
402403404405406407408409410
return !runStyle.wasInterrupted(); } void compileForWebMode(String moduleName) throws UnableToCompleteException { BrowserWidgetHost browserHost = getBrowserHost(); assert (browserHost != null); browserHost.compile(new String[] {moduleName}); }