From 9703e09fb5cd151217ad17dbafd25338585b7ed7 Mon Sep 17 00:00:00 2001 From: Wolfgang Müller Date: Sat, 20 Jul 2019 21:58:18 +0200 Subject: Initial public release --- terminal.ui | 233 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 233 insertions(+) create mode 100644 terminal.ui (limited to 'terminal.ui') diff --git a/terminal.ui b/terminal.ui new file mode 100644 index 0000000..7885ecc --- /dev/null +++ b/terminal.ui @@ -0,0 +1,233 @@ + + + + + + + True + False + edit-copy + + + True + False + + + _Copy URL + True + False + Copy the URL to the clipboard + True + copy_url_image + False + True + + + + + + True + False + go-down-symbolic + + + True + False + go-up-symbolic + + + + True + False + + + gtk-copy + True + False + True + True + + + + + + + gtk-paste + True + False + True + True + + + + + + -- cgit v1.2.3-2-gb3c3