Changeset 12941 for fact/Evidence/GUI.cc

Timestamp:

02/24/12 23:05:19 (13 years ago)

Author:

ogrimm

Message:

Less digits deplayed in widgets

File:

• fact/Evidence/GUI.cc (modified) (1 diff)

fact/Evidence/GUI.cc

@@ -132 +132 @@
         setText(Text.section(' ', 1));
   }
-  else if (!ShowAsTime) setText(Text);
+  else if (!ShowAsTime) {
+    bool OK;
+        double Num = Text.toDouble(&OK);
+        
+        if (OK) setText(QString::number(Num, 'g', 4));
+        else setText(Text);
+  }
   else setText(QDateTime::fromTime_t(Text.toInt()).toString());