Re: [gtk-list] [ANNOUNCE] GtkEditor version 0.0.6

[Mikael Hermansson <mikeh bahnhof se>]

> 
> It needs a few changes to the text widget. Mostly to be able to do the
> highlighting. I could do that without the changes I think, but I have
> also other plans for this...To get the changes you must patch with
> gtktext.patch. 
> 

Question to the main Gtk developers:

Why is this patch yet not implemented in the GtkText widget?
So we dont need to patch GtkText everytime Gtk is updated?

Greats

Mikael