- e.getComponent().repaint();
- } else if (e.isPopupTrigger()) {
- popup.show(e.getComponent(), e.getX(), e.getY());
+ } else maybeShowPopup(e);
+ }
+
+ public void mouseReleased(MouseEvent e) {
+ maybeShowPopup(e);
+ }
+
+ /**
+ * Shows the menu if an OS-specific popup-trigger was activated.
+ */
+ private void maybeShowPopup(MouseEvent e) {
+ if (e.isPopupTrigger() && !e.isControlDown()) {
+ if (!selected || mtv.isTheOnlySelected((MooNoteElement)e.getComponent())) popup.show(e.getComponent(), e.getX(), e.getY());
+ else mtv.showSelectionPopup(e.getComponent(), e.getX(), e.getY());