}
});
-
- // FIXME make it portable
-// browser.addTitleListener(e -> titleChanged(e.title));
-// browser.addOpenWindowListener((e) -> {
-// e.browser = openNewBrowserWindow();
-// });
+
+ MiniDesktopSpecific.getMiniDesktopSpecific().addBrowserTitleListener(this, browser);
+ MiniDesktopSpecific.getMiniDesktopSpecific().addBrowserOpenWindowListener(this, browser);
return browser;
}
- protected Browser openNewBrowserWindow() {
+ public Browser openNewBrowserWindow() {
if (isFullScreen()) {
// TODO manage multiple tabs?
}
/** Called when title changed; to be overridden, does nothing by default. */
- protected void titleChanged(String title) {
+ public void titleChanged(String title) {
}
protected Browser getBrowser() {
new MiniBrowser(shell, url, fullscreen, appMode) {
@Override
- protected void titleChanged(String title) {
+ public void titleChanged(String title) {
shell.setText(title);
}
};