mirror of
https://github.com/aclist/dztui.git
synced 2026-10-30 14:42:54 +01:00
fix: block tooltips on main menu
This commit is contained in:
1 parent
796dcd5588
commit
54e2d2feaa
1 file changed
+2
@@ -1872,6 +1872,8 @@ class TreeView(Gtk.TreeView):
|
|||||||
) -> bool:
|
) -> bool:
|
||||||
if self.is_server_context(self.view) is False:
|
if self.is_server_context(self.view) is False:
|
||||||
return
|
return
|
||||||
|
if self.subpage is None:
|
||||||
|
return
|
||||||
|
|
||||||
coords = widget.convert_widget_to_bin_window_coords(x, y)
|
coords = widget.convert_widget_to_bin_window_coords(x, y)
|
||||||
path = self.get_path_at_pos(coords.bx, coords.by)
|
path = self.get_path_at_pos(coords.bx, coords.by)
|
||||||
|
|||||||
Reference in new issue
Block a user