tweak up size+spacing of main menu bar info box

git-svn-id: svn://localhost/ardour2/branches/3.0@11104 d708f5d6-7413-0410-9779-e7cbd77b26cf

diff --git a/gtk2_ardour/ardour_ui_ed.cc b/gtk2_ardour/ardour_ui_ed.cc
index b46c50cfb3c5a8e7f54083c69f301a1464a66619..9f6b181b4d97083e488c04082f22dfce35776534 100644 (file)
--- a/gtk2_ardour/ardour_ui_ed.cc
+++ b/gtk2_ardour/ardour_ui_ed.cc
@@ -535,8 +535,13 @@ ARDOUR_UI::build_menu_bar ()
        ev->show ();
        CairoHPacker* hbox = manage (new CairoHPacker);
        hbox->show ();
-       
-       ev->add (*hbox);
+       hbox->set_border_width (3);
+
+       VBox* vbox = manage (new VBox);
+       vbox->pack_start (*hbox, true, false);
+       vbox->show();
+
+       ev->add (*vbox);
 
        wall_clock_label.set_name ("WallClock");
        wall_clock_label.set_use_markup ();
@@ -575,7 +580,7 @@ ARDOUR_UI::build_menu_bar ()
        hbox->pack_end (sample_rate_label, false, false, 4);
        hbox->pack_end (format_label, false, false, 4);
 
-       menu_hbox.pack_end (*ev, false, false);
+       menu_hbox.pack_end (*ev, false, false, 6);
 
        menu_bar_base.set_name ("MainMenuBar");
        menu_bar_base.add (menu_hbox);