diff options
Diffstat (limited to 'terminal.ui')
| -rw-r--r-- | terminal.ui | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/terminal.ui b/terminal.ui index 345c543..68a36b7 100644 --- a/terminal.ui +++ b/terminal.ui @@ -72,7 +72,7 @@ </child> <child> <object class="GtkImageMenuItem" id="copy_item_html"> - <property name="label">Copy as _HTML</property> + <property name="label" translatable="yes">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> @@ -276,7 +276,7 @@ <object class="GtkLabel" id="infobar_label"> <property name="visible">True</property> <property name="can-focus">False</property> - <property name="label" translatable="yes">Sample Error Message</property> + <property name="label">Sample Error Message</property> <property name="use-markup">True</property> <property name="wrap">True</property> </object> |