KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

ooops

Browse Source
This commit is contained in:
Kovid Goyal 2021-10-28 08:17:16 +05:30
parent aee5c317f6
commit 40c046f86b
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/tabs.py
View File

@ -992,7 +992,7 @@ class TabManager: # {{{
prev, prev2 = self.recent_mouse_events[-1], self.recent_mouse_events[-2] prev, prev2 = self.recent_mouse_events[-1], self.recent_mouse_events[-2]
if ( if (
prev.button == button and prev2.button == button and prev.button == button and prev2.button == button and
prev.action == GLFW_RELEASE and prev2.action == GLFW_PRESS and prev.action == GLFW_PRESS and prev2.action == GLFW_RELEASE and
prev.tab_idx is None and prev2.tab_idx is None and prev.tab_idx is None and prev2.tab_idx is None and
now - prev.at <= ci and now - prev2.at <= 2 * ci now - prev.at <= ci and now - prev2.at <= 2 * ci
): # double click ): # double click