Method LiveMenu

src/main/java/gate/gui/MainFrame.java:4314–4318

(int type)

   */
  class LiveMenu extends XJMenu {
    public LiveMenu(int type) {
      super();
      this.type = type;
      init();
    }

    protected void init() {
      addMenuListener(new MenuListener() {