public void unsetHandlerAndHide() { this.handler = null; this.menu.hide(); }
public void setHandlerAndShow(GUserInputSetterHandler handler) { this.handler = handler; this.menu.show(); }