--- GNOME_GtkHTML_Editor.xml.src 2004-04-07 21:20:04.000000000 +0200 +++ GNOME_GtkHTML_Editor.xml 2004-04-07 21:29:21.000000000 +0200 @@ -292,6 +292,10 @@ + +