mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-19 23:14:55 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'double-click-rename' of https://github.com/mcrmck/kitty

Browse Source
This commit is contained in:
Kovid Goyal
2026-03-05 11:10:42 +05:30
parent fcdc67a356 f3b9a2d7d8
commit f89617893f
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
kitty/tabs.py
View File

@@ -1725,6 +1725,19 @@ class TabManager: # {{{
else: else:
drag_started = get_tab_being_dragged()[1] drag_started = get_tab_being_dragged()[1]
if not drag_started: if not drag_started:
if len(self.recent_mouse_events) > 2:
ci = get_click_interval()
prev, prev2 = self.recent_mouse_events[-1], self.recent_mouse_events[-2]
if (
prev.button == button and prev2.button == button and
prev.action == GLFW_PRESS and prev2.action == GLFW_RELEASE and
prev.tab_id == tab.id and prev2.tab_id == tab.id and
now - prev.at <= ci and now - prev2.at <= 2 * ci
): # double click on tab
get_boss().set_tab_title()
self.recent_mouse_events.clear()
set_tab_being_dragged()
return
self.set_active_tab(tab) self.set_active_tab(tab)
set_tab_being_dragged() set_tab_being_dragged()
elif button == GLFW_MOUSE_BUTTON_MIDDLE: elif button == GLFW_MOUSE_BUTTON_MIDDLE: