Use GtkTextBuffer instead of gtkhtml in editor (no support for rich text in gnome).