Text selection problem with Gedit
Has anyone encounter the following problem:
After using gedit a while (maybe half an hour?), text selection will cease operating (I really don't know what triggers this phenomena). You cannot
select the text, so you cannot cut, copy or delete unless you restart
gedit. Anyone having the same experience?
I found out that this is the same for bluefish HTML editor and I wonder if
there is a bug in GTK. But it seems that no one report such a bug to GTK,
I wonder where does such a bug arises and how it does.
Some more information: I am using Redhat 9 and GARNOME 2.8.0 (I build
GNOME from sources).