@Override
public void widgetSelected(SelectionEvent e) {
browser.stop();
}
});
menu.addMenuListener(new MenuAdapter() {
@Override
public void menuShown(MenuEvent e) {
backMenuItem.setEnabled(browser.isBackEnabled());
forwardMenuItem.setEnabled(browser.isForwardEnabled());
stopMenuItem.setEnabled(Boolean.TRUE.equals(browser.getData("Browser.loading")));