diff options
| author | Mirco Müller <mirco.mueller@ubuntu.com> | 2010-09-08 16:43:18 +0200 |
|---|---|---|
| committer | Mirco Müller <mirco.mueller@ubuntu.com> | 2010-09-08 16:43:18 +0200 |
| commit | 0db21b8810a016df59fa97f82f9acb4bea712314 (patch) | |
| tree | 2a8cfcd36148fc14c8c60726d866135d5e6d172f /unity-private | |
| parent | 4c907fbe85c6d76b29f74c73a27067bcd1977be8 (diff) | |
Fix width of home-button on panel, so groove aligns with right edge of launcher, fixes LP: #630031
(bzr r487.1.1)
Diffstat (limited to 'unity-private')
| -rw-r--r-- | unity-private/panel/panel-home-button.vala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/unity-private/panel/panel-home-button.vala b/unity-private/panel/panel-home-button.vala index d36abb29d..bb76874e8 100644 --- a/unity-private/panel/panel-home-button.vala +++ b/unity-private/panel/panel-home-button.vala @@ -111,7 +111,7 @@ namespace Unity.Panel float pheight; Ctk.Padding pad = { 0 }; - lwidth = (float) shell.get_launcher_width_foobar (); + lwidth = 2.0f + (float) shell.get_launcher_width_foobar (); pheight = (float) shell.get_panel_height_foobar (); theme_image.get_preferred_size (out cwidth, out cheight, out cwidth, out cheight); @@ -178,8 +178,8 @@ namespace Unity.Panel out float min_width, out float nat_width) { - min_width = shell.get_launcher_width_foobar (); - nat_width = shell.get_launcher_width_foobar (); + min_width = 2.0f + shell.get_launcher_width_foobar (); + nat_width = 2.0f + shell.get_launcher_width_foobar (); } private void on_mode_changed (ShellMode mode) |