bugfix: crash in case of very long tooltip when hovering on link

giuspen · Oct 18, 2016 · 52d0a14 · 52d0a14
1 parent e27b21a
commit 52d0a14
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/modules/cons.py b/modules/cons.py
@@ -135,6 +135,7 @@
 GRID_SLIP_OFFSET = 3
 MAIN_WIN_TO_TEXT_WIN_NORMALIZER = 50
 MAX_RECENT_DOCS = 10
+MAX_TOOLTIP_LINK_CHARS = 150
 TABLE_DEFAULT_COL_MIN = 40
 TABLE_DEFAULT_COL_MAX = 400
 SCROLL_MARGIN = 0.3

diff --git a/modules/support.py b/modules/support.py
@@ -467,6 +467,8 @@ def sourceview_cursor_and_tooltips_handler(dad, text_view, x, y):
         #print "link", dad.hovering_link_iter_offset
     if dad.hovering_link_iter_offset >= 0:
         text_view.get_window(gtk.TEXT_WINDOW_TEXT).set_cursor(gtk.gdk.Cursor(gtk.gdk.HAND2))
+        if len(tooltip) > cons.MAX_TOOLTIP_LINK_CHARS:
+            tooltip = tooltip[:cons.MAX_TOOLTIP_LINK_CHARS] + "..."
         text_view.set_tooltip_text(tooltip)
     else:
         text_view.get_window(gtk.TEXT_WINDOW_TEXT).set_cursor(gtk.gdk.Cursor(gtk.gdk.XTERM))