diff -r 6d46d1d368bc -r e3f47a1d6f2b QTfrontend/gameuiconfig.cpp
--- a/QTfrontend/gameuiconfig.cpp	Tue Dec 04 03:25:31 2012 +0100
+++ b/QTfrontend/gameuiconfig.cpp	Tue Dec 04 03:27:12 2012 +0100
@@ -310,6 +310,7 @@
 
 void GameUIConfig::setValue(const QString &key, const QVariant &value)
 {
+    //qDebug() << "[settings]" << key << value;
     QSettings::setValue(key, value);
 }