void registerBrowser(IWebBrowser browser) {
// don't track non-internal browsers, because we have no way of tracking
// when they're closed
if (!(browser instanceof InternalWebBrowser)) {
return;
}
browsers.put(browser.getId(), browser);
}
void unregisterBrowser(IWebBrowser browser) {
browsers.remove(browser.getId());
fireBrowserClosed(browser);
}