eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-05-03 17:35:00 +02:00
Code Issues Packages Projects Releases Wiki Activity

hopefully the last word on popup triggers on Windows

Browse Source
This commit is contained in:
Ben Fry
2014-01-21 23:28:33 -05:00
parent 9fcdffebf8
commit 9f3839b898
1 changed files with 17 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
app/src/processing/app/syntax/JEditTextArea.java
View File

@@ -2384,6 +2384,13 @@ public class JEditTextArea extends JComponent
return;
}
// isPopupTrigger() is handled differently across platforms,
// so it may fire during release, or during the press.
// http://docs.oracle.com/javase/7/docs/api/java/awt/event/MouseEvent.html#isPopupTrigger()
// However, we have to exit out of this method if it's a right-click
// anyway, because otherwise it'll de-select the current word.
// As a result, better to just check for BUTTON3 now, indicating that
// isPopupTrigger() is going to fire on the release anyway.
boolean windowsRightClick =
Base.isWindows() && (event.getButton() == MouseEvent.BUTTON3);
if ((event.isPopupTrigger() || windowsRightClick) && (popup != null)) {
@@ -2429,14 +2436,16 @@ public class JEditTextArea extends JComponent
}
// // Because isPopupTrigger() is handled differently across platforms,
// // it may fire during release, or during the press.
// // http://docs.oracle.com/javase/7/docs/api/java/awt/event/MouseEvent.html#isPopupTrigger()
// public void mouseReleased(MouseEvent event) {
// if (event.isPopupTrigger() && (popup != null)) {
// popup.show(painter, event.getX(), event.getY());
// }
// }
/*
// Because isPopupTrigger() is handled differently across platforms,
// it may fire during release, or during the press.
// http://docs.oracle.com/javase/7/docs/api/java/awt/event/MouseEvent.html#isPopupTrigger()
public void mouseReleased(MouseEvent event) {
if (event.isPopupTrigger() && (popup != null)) {
popup.show(painter, event.getX(), event.getY());
}
}
*/
private void doSingleClick(MouseEvent evt, int line, int offset, int dot) {