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