aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/terminal.ui
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--terminal.ui13
1 files changed, 11 insertions, 2 deletions
diff --git a/terminal.ui b/terminal.ui
index 4ba9555..4618d40 100644
--- a/terminal.ui
+++ b/terminal.ui
@@ -232,17 +232,26 @@
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
- <object class="GtkImageMenuItem" id="copy_item">
+ <object class="GtkImageMenuItem" id="copy_item_text">
<property name="label">gtk-copy</property>
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">True</property>
- <signal name="activate" handler="vte_copy" swapped="no"/>
<accelerator key="c" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
</object>
</child>
<child>
+ <object class="GtkImageMenuItem" id="copy_item_html">
+ <property name="label">Copy as _HTML</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="tooltip_text" translatable="yes">Copy the selection as HTML</property>
+ <property name="use_underline">True</property>
+ <property name="use_stock">False</property>
+ </object>
+ </child>
+ <child>
<object class="GtkImageMenuItem" id="paste_item">
<property name="label">gtk-paste</property>
<property name="visible">True</property>