Ticket #3923: 0001-Set-padding-for-labels-in-Notebook-Tabs-SL-3923.patch

File 0001-Set-padding-for-labels-in-Notebook-Tabs-SL-3923.patch, 877 bytes (added by danielfrancis, 11 years ago)

Attaching the patch for the second point.

  • gtk3/theme/gtk-widgets.css.em

    From bc0046d6eedcf7b4ad0ec9b2a75d5179bb8f1bc6 Mon Sep 17 00:00:00 2001
    From: Daniel Francis <francis@sugarlabs.org>
    Date: Tue, 30 Oct 2012 20:50:11 -0200
    Subject: [PATCH] Set padding for labels in Notebook Tabs SL#3923
    
    This is a way to set a default padding for the tabs.
    Signed-off-by: Daniel Francis <francis@sugarlabs.org>
    ---
     gtk3/theme/gtk-widgets.css.em |    2 ++
     1 file changed, 2 insertions(+)
    
    diff --git a/gtk3/theme/gtk-widgets.css.em b/gtk3/theme/gtk-widgets.css.em
    index 6758b95..2cb8399 100644
    a b GtkComboBox .separator { 
    325325/* sure the buttons get black color in the next two rules: */
    326326.notebook tab GtkLabel {
    327327    color: @white;
     328    padding-top: $(icon_large * 0.30)px;
     329    padding-bottom: $(icon_large * 0.30)px;
    328330}
    329331
    330332.notebook tab .button GtkLabel {