Method mouseReleased

src/main/java/gate/gui/MainFrame.java:1342–1345

(MouseEvent e)

        processMouseEvent(e);
      }
      @Override
      public void mouseReleased(MouseEvent e) {
          processMouseEvent(e);
      }
      @Override
      public void mouseClicked(MouseEvent e) {
        processMouseEvent(e);