From cfb49bb4ece5c5234b1f94789a82e193ee6b2dcc Mon Sep 17 00:00:00 2001
From: Denis Fomin <fominde@gmail.com>
Date: Wed, 13 Jun 2012 17:17:45 +0400
Subject: [PATCH] [Schnouki ] using paint_shadow() rather than paint_flat_box()
to add these borders/shadows. Fixes #5899
---
src/tooltips.py | 10 ++--------
1 file changed, 2 insertions(+), 8 deletions(-)
diff --git a/src/tooltips.py b/src/tooltips.py
index db5064ad30..7adf9fa373 100644
--- a/src/tooltips.py
+++ b/src/tooltips.py
@@ -135,14 +135,8 @@ class BaseTooltip:
def expose(self, widget, event):
style = self.win.get_style()
size = self.win.get_size()
- style.paint_flat_box(self.win.window, gtk.STATE_NORMAL, gtk.SHADOW_OUT,
- None, self.win, 'tooltip', 0, 0, -1, 1)
- style.paint_flat_box(self.win.window, gtk.STATE_NORMAL, gtk.SHADOW_OUT,
- None, self.win, 'tooltip', 0, size[1] - 1, -1, 1)
- style.paint_flat_box(self.win.window, gtk.STATE_NORMAL, gtk.SHADOW_OUT,
- None, self.win, 'tooltip', 0, 0, 1, -1)
- style.paint_flat_box(self.win.window, gtk.STATE_NORMAL, gtk.SHADOW_OUT,
- None, self.win, 'tooltip', size[0] - 1, 0, 1, -1)
+ style.paint_shadow(self.win.window, gtk.STATE_NORMAL, gtk.SHADOW_OUT,
+ None, self.win, 'tooltip', 0, 0, size[0], size[1])
return True
def show_tooltip(self, data, widget_height, widget_y_position):
--
GitLab