tooltips: Don't use a cursor_size of 0

This leads to flickering tooltips.
2019-03-31 16:16:01 -04:00 · 2019-03-31 16:16:01 -04:00 · 058986714c
commit 058986714c
parent 91bbce3fef
1 changed files with 3 additions and 0 deletions
--- a/gtk/gtktooltip.c
+++ b/gtk/gtktooltip.c
@ -603,6 +603,9 @@ gtk_tooltip_position (GtkTooltip *tooltip,
                "gtk-cursor-theme-size", &cursor_size,
                NULL);

+  if (cursor_size == 0)
+    cursor_size = 16;
+
  if (device)
    anchor_rect_padding = MAX (4, cursor_size - 32);
  else