return button;
}
public SimpleMenuButton addMenuButton(Tool tool, MenuBuilder menuBuilder) {
SimpleMenuButton button = new SimpleMenuButton(new ToolButton(tool), true);
button.addStyleName("TitleBar-tool");
DOM.setStyleAttribute(button.getElement(), "marginLeft", "3px");
menuBuilder.build(button.getMenu());
tools.add(button);
return button;
}