Merge pull request #65 from cassidyjames/default-decoration

Add default decoration
This commit is contained in:
Artem Anufrij 2018-03-08 21:11:46 +01:00 committed by GitHub
commit 807a0079bf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -49,6 +49,7 @@ namespace Webpin.Windows {
var headerbar = new Gtk.HeaderBar (); var headerbar = new Gtk.HeaderBar ();
headerbar.title = desktop_file.name; headerbar.title = desktop_file.name;
headerbar.show_close_button = true; headerbar.show_close_button = true;
headerbar.get_style_context ().add_class ("default-decoration");
var copy_url = new Gtk.Button.from_icon_name ("insert-link-symbolic", Gtk.IconSize.MENU); var copy_url = new Gtk.Button.from_icon_name ("insert-link-symbolic", Gtk.IconSize.MENU);
copy_url.tooltip_text = _ ("Copy URL into clipboard"); copy_url.tooltip_text = _ ("Copy URL into clipboard");