Ticket #4196: 0001-Padding-on-help-palette-SL-4196.patch

File 0001-Padding-on-help-palette-SL-4196.patch, 787 bytes (added by humitos, 11 years ago)

v2 - git message changed - Patch for "origin/gtk3" branch

  • helpbutton.py 

    From ecd744e47986c7558f137d637b8605167fafb20e Mon Sep 17 00:00:00 2001
From: Manuel Kaufmann <humitos@gmail.com>
Date: Wed, 28 Nov 2012 11:47:43 -0300
Subject: [PATCH Terminal] Padding on help palette SL #4196

Add 10px of padding on the help palette.

Signed-off-by: Manuel Kaufmann <humitos@gmail.com>
---
 helpbutton.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/helpbutton.py b/helpbutton.py
index 3a4c286..f6a7d50 100644
    a b class HelpButton(Gtk.ToolItem): 
    4747
    4848        self._max_text_width = int(Gdk.Screen.width() / 3) - 600
    4949        self._vbox = Gtk.Box()
     50        self._vbox.set_border_width(10)
    5051        self._vbox.set_orientation(Gtk.Orientation.VERTICAL)
    5152        self._vbox.set_homogeneous(False)
    5253