String changes in GtkHTML

I just committed the patch for bug #329899:
  http://bugzilla.gnome.org/show_bug.cgi?id=329899

The patch changes the accelerator for EditReplace to be HIG compliant.

Affected files in CVS:
 gtkhtml/components/html-editor/GNOME_GtkHTML_Editor-emacs.xml.in
 gtkhtml/components/html-editor/GNOME_GtkHTML_Editor.xml.in


-- 
char *t="\10pse\0r\0dtu\0.@ghno\x4e\xc8\x79\xf4\xab\x51\x8a\x10\xf4\xf4\xc4";
main(){ char h,m=h=*t++,*x=t+2*h,c,i,l=*x,s=0; for (i=0;i<l;i++){ i%8? c<<=1:
(c=*++x); c&128 && (s+=h); if (!(h>>=1)||!t[s+h]){ putchar(t[s]);h=m;s=0; }}}