diff: src/gtkimhtml.c
src/gtkimhtml.c
- changeset 12057
- 2e16a965d1d6
- parent 11968
- 6adf709befe9
- child 12072
- 9f54dc87a302
--- a/src/gtkimhtml.c Sat Nov 12 22:33:41 2005 +0000 +++ b/src/gtkimhtml.c Sat Nov 12 23:04:12 2005 +0000 @@ -813,7 +813,7 @@ { GtkWidget *menuitem; - menuitem = gtk_menu_item_new_with_mnemonic(_("Pa_ste As Text")); + menuitem = gtk_menu_item_new_with_mnemonic(_("Pa_ste As Plain Text")); gtk_widget_show(menuitem); gtk_widget_set_sensitive(menuitem, (imhtml->editable &&
