Dont send press event for shift+middle when grabbed

Fixes #3902
This commit is contained in:
Kovid Goyal
2021-08-05 05:03:22 +05:30
parent 3c3662b032
commit 57ced9bc83
3 changed files with 10 additions and 0 deletions
+4
View File
@@ -555,6 +555,10 @@ mma('Paste from the primary selection even when grabbed',
'paste_selection_grabbed shift+middle release ungrabbed,grabbed paste_selection',
)
mma('Discard press event for middle click paste',
'paste_selection_grabbed shift+middle press grabbed discard_event',
)
mma('Start selecting text even when grabbed',
'start_simple_selection_grabbed shift+left press ungrabbed,grabbed mouse_selection normal',
)
+2
View File
@@ -889,6 +889,8 @@ defaults.mouse_map = [
MouseMapping(2, 1, -1, True, KeyAction('paste_selection')),
# paste_selection_grabbed
MouseMapping(2, 1, -1, False, KeyAction('paste_selection')),
# paste_selection_grabbed
MouseMapping(2, 1, 1, True, KeyAction('discard_event')),
# start_simple_selection_grabbed
MouseMapping(0, 1, 1, True, KeyAction('mouse_selection', (0,))),
# start_simple_selection_grabbed