diff options
| -rw-r--r-- | src/scintilla.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scintilla.patch b/src/scintilla.patch index cc05eb03..faa1ae45 100644 --- a/src/scintilla.patch +++ b/src/scintilla.patch @@ -7,7 +7,7 @@ diff -r e074c39456a7 gtk/ScintillaGTK.cxx (event->state & GDK_CONTROL_MASK) != 0, - (event->state & modifierTranslated(rectangularSelectionModifier)) != 0); + (event->state & modifierTranslated(rectangularSelectionModifier)) != 0, -+ (event->state & GDK_META_MASK) != 0); ++ (event->state & GDK_MOD2_MASK) != 0); } else if (event->button == 2) { // Grab the primary selection if it exists SelectionPosition pos = SPositionFromLocation(pt, false, false, UserVirtualSpace()); |