Method mousePressed

src/main/java/gate/gui/MainFrame.java:1331–1341

(MouseEvent e)

    resourcesTree.addMouseListener(new MouseAdapter() {
      @Override
      public void mousePressed(MouseEvent e) {
        TreePath path =
          resourcesTree.getClosestPathForLocation(e.getX(), e.getY());
        if(e.isPopupTrigger()
        && !resourcesTree.isPathSelected(path)) {
          // if right click outside the selection then reset selection
          resourcesTree.getSelectionModel().setSelectionPath(path);
        }
        processMouseEvent(e);
      }
      @Override
      public void mouseReleased(MouseEvent e) {
          processMouseEvent(e);