(MouseEvent e)
| 374 | } |
| 375 | |
| 376 | public void mousePressed (MouseEvent e) { |
| 377 | int x=e.getX(), y=e.getY(); |
| 378 | if (e.isPopupTrigger() || e.isMetaDown()) |
| 379 | pm.show(e.getComponent(),x,y); |
| 380 | else if (e.isShiftDown()) |
| 381 | extendSelection(x, y); |
| 382 | else { |
| 383 | select(x, y); |
| 384 | handleDoubleClick(); |
| 385 | } |
| 386 | } |
| 387 | |
| 388 | void handleDoubleClick() {//Marcel Boeglin 2019.10.07 |
| 389 | boolean overlayList = title.startsWith("Overlay Elements of "); |
nothing calls this directly
no test coverage detected