Method mousePressed

src/main/java/gate/gui/CorpusEditor.java:256–259

(MouseEvent e)

        processMouseEvent(e);
      }
      @Override
      public void mousePressed(MouseEvent e) {
        if(e.isPopupTrigger()) { processMouseEvent(e); }
      }
      @Override
      public void mouseReleased(MouseEvent e) {
        if(e.isPopupTrigger()) { processMouseEvent(e); }