comparison src/pngplayer.cpp @ 8:ac4db84f1d9d

Fix date format in player window
author Andre Heinecke <andre.heinecke@intevation.de>
date Wed, 25 Mar 2015 14:25:21 +0100
parents c11fe56aa4a2
children f290e8c4e097
comparison
equal deleted inserted replaced
7:c11fe56aa4a2 8:ac4db84f1d9d
113 mSlider->setValue(current); 113 mSlider->setValue(current);
114 mSlider->blockSignals(false); 114 mSlider->blockSignals(false);
115 mSlider->setMaximum(max); 115 mSlider->setMaximum(max);
116 mPositionLabel->setText("<b>" + tr("Screenshot Nr.:") + " </b>" + 116 mPositionLabel->setText("<b>" + tr("Screenshot Nr.:") + " </b>" +
117 QString("%1 (%2)").arg(current).arg(max) + " / <b>" + 117 QString("%1 (%2)").arg(current).arg(max) + " / <b>" +
118 tr("Timestamp:") + " </b>" + timestamp.toString(LONG_DATE_FORMAT)); 118 tr("Timestamp:") + " </b>" + (timestamp.isValid() ?
119 timestamp.toString(LONG_DATE_FORMAT) : tr("Unknown")));
119 120
120 if (mMax == current && mAdvanceTimer.isActive()) { 121 if (mMax == current && mAdvanceTimer.isActive()) {
121 togglePlay(); 122 togglePlay();
122 } 123 }
123 } 124 }
This site is hosted by Intevation GmbH (Datenschutzerklärung und Impressum | Privacy Policy and Imprint)