QTfrontend/ui/page/pageoptions.cpp
changeset 12259 be68823c2852
parent 12251 caff1a3a7456
child 12478 3ed556dad4ec
--- a/QTfrontend/ui/page/pageoptions.cpp	Sat Apr 15 08:09:23 2017 +0200
+++ b/QTfrontend/ui/page/pageoptions.cpp	Sat Apr 15 08:52:05 2017 +0200
@@ -679,7 +679,7 @@
 
             CBNameWithDate = new QCheckBox(groupMisc);
             CBNameWithDate->setText(QCheckBox::tr("Append date and time to record file name"));
-            CBNameWithDate->setWhatsThis(QCheckBox::tr("If enabled, Hedgewars adds the date and time in the form “YYYY-MM-DD_hh-mm” for automatically created demos."));
+            CBNameWithDate->setWhatsThis(QCheckBox::tr("If enabled, Hedgewars adds the date and time in the form \"YYYY-MM-DD_hh-mm\" for automatically created demos."));
             groupMisc->layout()->addWidget(CBNameWithDate, 3, 0, 1, 2);
 
             // Associate file extensions