/** Tell the application to update its menu bar */ public void updateMenubar() { app.updateMenubar(); }