diff options
| author | Christian Dywan <christian.dywan@canonical.com> | 2015-05-30 21:07:01 -0400 |
|---|---|---|
| committer | Christian Dywan <christian.dywan@canonical.com> | 2015-05-30 21:07:01 -0400 |
| commit | 5d148edb17528e0f7743b12dfbb7f798cbfddd03 (patch) | |
| tree | ca3fab60581600b85444abd4efd4b87c25e6442e /midori | |
| parent | 2cdeb2943e691e63e72859170bea9060a4ae71ce (diff) | |
| download | midori-5d148edb17528e0f7743b12dfbb7f798cbfddd03.tar.gz | |
Add and bottom margin to headerbar title
Diffstat (limited to 'midori')
| -rw-r--r-- | midori/midori-window.vala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/midori/midori-window.vala b/midori/midori-window.vala index efc394e1..f345f4fc 100644 --- a/midori/midori-window.vala +++ b/midori/midori-window.vala @@ -138,8 +138,10 @@ namespace Midori { widget = (widget as Gtk.Bin).get_child (); if (name == "Location") { (widget as Gtk.Entry).max_width_chars = 256; - widget.set ("margin-start", 25, "margin-end", 25); headerbar.custom_title = toolitem; + headerbar.custom_title.set ( + "margin-start", 25, "margin-end", 25, + "margin-top", 5, "margin-bottom", 5); } else if (name == "Search") { (widget as Gtk.Entry).width_chars = 12; tail.append (toolitem); |