Headerbar: Use button box for path crumbs

src/Gtk/MainHeaderBar.vala

@@ -61,7 +61,7 @@ public class MainHeaderBar : Gtk.HeaderBar {
 		}
 	}
 
-	private Gtk.Box crumbs;
+	private Gtk.ButtonBox crumbs;
 	private Gtk.ScrolledWindow scrolled;
 	private ViewPopover view_popover;
 	private Gtk.MenuButton btn_menu;
@@ -244,9 +244,9 @@ public class MainHeaderBar : Gtk.HeaderBar {
 		//scrolled.set_shadow_type(ShadowType.ETCHED_IN);
 		this.pack_start(scrolled);
 
-		crumbs = new Gtk.Box(Gtk.Orientation.HORIZONTAL, 3);
-		//crumbs.set_layout(Gtk.ButtonBoxStyle.START);
-		//crumbs.spacing = 0;
+		crumbs = new Gtk.ButtonBox(Gtk.Orientation.HORIZONTAL);
+		crumbs.set_layout(Gtk.ButtonBoxStyle.EXPAND);
+		crumbs.set_homogeneous(false);
 		crumbs.margin = 0;
 		scrolled.add(crumbs);
 
@@ -331,11 +331,7 @@ public class MainHeaderBar : Gtk.HeaderBar {
 
 		refresh_visibility();
 
-		if (!this.visible){
-			//window.decorated = true;
-			//window.set_titlebar(null);
-			return;
-		}
+		if (!this.visible){ return; }
 
 		refresh_crumbs();
 
@@ -407,13 +403,6 @@ public class MainHeaderBar : Gtk.HeaderBar {
 			}
 
 			add_crumb(crumbs, part, link_path);
-
-			//if (index < parts.length - 1){
-				//var lbl3 = new Gtk.Label(">");
-				//lbl3.margin_bottom = 1;
-				//crumbs.add(lbl3);
-				//gtk_apply_css( { lbl3 }, "padding-top: 0px; padding-bottom: 0px; margin-top: 0px; margin-bottom: 0px;");
-			//}
 		}
 
 		crumbs.show_all();
@@ -429,7 +418,6 @@ public class MainHeaderBar : Gtk.HeaderBar {
 
 		var label = new Gtk.Label(text);
 		label.margin = 0;
-		label.margin_left = label.margin_right = 0;
 		button.add(label);
 
 		//button.relief = Gtk.ReliefStyle.NORMAL;