From 55a15deac1c99749f541064573e2b78f4199f4be Mon Sep 17 00:00:00 2001 From: "Owen W. Taylor" Date: Tue, 4 Dec 2007 12:05:57 -0500 Subject: [PATCH] Add some padding to the doc popup contents --- lib/reinteract/doc_popup.py | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/lib/reinteract/doc_popup.py b/lib/reinteract/doc_popup.py index ef073c7..ca5142d 100644 --- a/lib/reinteract/doc_popup.py +++ b/lib/reinteract/doc_popup.py @@ -25,9 +25,15 @@ class DocPopup(Popup): self.__view = gtk.TextView() self.__view.set_editable(False) - self.__view.modify_font(self.__font) - self.__view.modify_base(gtk.STATE_NORMAL, gtk.gdk.Color(0xffff, 0xffff, 0xbfbf)) + self.__view.set_border_width(5) + + bg_color = gtk.gdk.Color(0xffff, 0xffff, 0xbfbf) + self.__view.modify_base(gtk.STATE_NORMAL, bg_color) + # The background color is used for the text view's border width + self.__view.modify_bg(gtk.STATE_NORMAL, bg_color) + self.__view.modify_text(gtk.STATE_NORMAL, gtk.gdk.Color(0, 0, 0)) + self.__view.modify_font(self.__font) if False: sw = gtk.ScrolledWindow() -- 2.11.4.GIT