Thanks for the fix. Which package is responsible for showing the corresponding preference option. Following the gnome spirit, it should not be shown at all if it has no effect, should it? Cheers, Jens