On Tue, Dec 19, 2006, Josselin Mouette wrote: > Please submit bug reports for such issues, so that we can keep track of > them. He filed #403710. > If other GNOME maintainers agree, I'm OK for uploading a patched gedit. I uploaded. -- Loïc Minier <lool@dooz.org> "Forget your stupid theme park! I'm gonna make my own! With hookers! And blackjack! In fact, forget the theme park!" -- Bender