On Wed, 15 Oct 2008 14:57:01 +0200 Enrico Tröger enrico.troeger@uvena.de wrote:
We could discuss about the relevance of this option but well, there are more important things to talk about. It just doesn't harm as long as nobody uses it :). If you want to remove it, feel free to do so.
No need to remove it, I have no idea why I got it wrong. Sorry for all the trouble.
It should be more useful soon because of the GTK 3.0 release.
Regards, Nick