First fix to prevent double click on scrollbar rebalancing splits broke scrollbars, so this limits the interception to double clicks only.
This commit is contained in:
parent
43b0c54986
commit
7cd7c73c53
|
@ -864,7 +864,7 @@ class Terminal(gtk.VBox):
|
|||
# Any button event should grab focus
|
||||
widget.grab_focus()
|
||||
|
||||
if type(widget) == gtk.VScrollbar:
|
||||
if type(widget) == gtk.VScrollbar and event.type == gtk.gdk._2BUTTON_PRESS:
|
||||
# Suppress double-click behavior
|
||||
return True
|
||||
|
||||
|
|
Loading…
Reference in New Issue