Preferences GUI is now fully implemented.

But until now the preferences will take no effect.