--- 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