I am not sure about removing the header-bar class. If you want control over the padding and other features of the title you could use a custom title. For example:
var header = new Gtk.HeaderBar (); header.set_show_close_button (true);
var custom_title = new Gtk.Label (_("Terminal")); custom_title.set_padding (20,10); custom_title.set_ellipsize (Pango.EllipsizeMode.START); header.set_custom_title (custom_title); notify["title"].connect (() => { custom_title.label = title;
}); this.set_titlebar (header);
I am not sure about removing the header-bar class. If you want control over the padding and other features of the title you could use a custom title. For example:
var header = new Gtk.HeaderBar ();
header. set_show_ close_button (true);
custom_ title.set_ padding (20,10);
custom_ title.set_ ellipsize (Pango. EllipsizeMode. START);
header. set_custom_ title (custom_title);
notify[ "title" ].connect (() => {
custom_ title.label = title;
this. set_titlebar (header);
var custom_title = new Gtk.Label (_("Terminal"));
});