new option copy current uri into clipboard
This commit is contained in:
parent
e006861643
commit
f181c85602
1 changed files with 7 additions and 0 deletions
|
@ -49,6 +49,13 @@ namespace Webpin {
|
||||||
headerbar.title = desktop_file.name;
|
headerbar.title = desktop_file.name;
|
||||||
headerbar.show_close_button = true;
|
headerbar.show_close_button = true;
|
||||||
|
|
||||||
|
var copy_url = new Gtk.Button.from_icon_name ("edit-copy-symbolic", Gtk.IconSize.MENU);
|
||||||
|
copy_url.tooltip_text = _("Copy URI into clipboard");
|
||||||
|
copy_url.clicked.connect (() => {
|
||||||
|
Gtk.Clipboard.get_default (Gdk.Display.get_default ()).set_text (web_app.app_view.uri, -1);
|
||||||
|
});
|
||||||
|
headerbar.pack_end (copy_url);
|
||||||
|
|
||||||
spinner = new Gtk.Spinner ();
|
spinner = new Gtk.Spinner ();
|
||||||
spinner.set_size_request (16, 16);
|
spinner.set_size_request (16, 16);
|
||||||
headerbar.pack_end (spinner);
|
headerbar.pack_end (spinner);
|
||||||
|
|
Loading…
Reference in a new issue