# HG changeset patch
# User koda
# Date 1354588032 -3600
# Node ID 4a7535d17d575131c781cb595224b17d30dbb9b1
# Parent  8edc37cdcfbf4e7b720a676e35ddd70cf1be0c73
readd this debug line, commented out, could be useful

diff -r 8edc37cdcfbf -r 4a7535d17d57 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);
 }