diff options
Diffstat (limited to '')
| -rw-r--r-- | terminal.ui | 13 |
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> |