[PATCH 1 of 3] (Issue31) Improved number formatting and refresh icon

[Wald Commits]

# HG changeset patch
# User Emanuel Schuetze <emanuel at intevation.de>
# Date 1404396821 -7200
# Node ID 0bb54205c55a704eae958a00399cec4f13192a80
# Parent  62af7d247430324969fe334b7043afeffa076af2
(Issue31) Improved number formatting and refresh icon.

diff -r 62af7d247430 -r 0bb54205c55a ui/img/view-refresh.png
Binary file ui/img/view-refresh.png has changed
diff -r 62af7d247430 -r 0bb54205c55a ui/textoverlaybutton.cpp
--- a/ui/textoverlaybutton.cpp	Thu Jul 03 11:25:19 2014 +0200
+++ b/ui/textoverlaybutton.cpp	Thu Jul 03 16:13:41 2014 +0200
@@ -19,18 +19,23 @@
 {
     QToolButton::paintEvent(e);
     QPainter painter(this);
+    QRect myRect = e->rect().translated(26, -29);
+
+    // circle
+    QLinearGradient gradient(myRect.topLeft(),
+                             myRect.bottomRight());
+    gradient.setColorAt(0, Qt::white);
+    gradient.setColorAt(0.7, Qt::red);
+    QBrush brush(gradient);
+    painter.setBrush(brush);
+    painter.setPen(Qt::white);
+    painter.drawEllipse(75.5, 6, 20, 20);
+
+    // font
     QFont font;
-    QRect myRect = e->rect().translated(0, 10);
-
-    //font.setFamily("Comic Sans MS");
-
-    font.setPixelSize(14);
-    font.setWeight(QFont::DemiBold);
+    font.setPixelSize(11);
+    font.setWeight(QFont::Bold);
     painter.setFont(font);
-
-    //painter.setPen(Qt::white);
-    //painter.drawText(myRect.translated(1,1), Qt::AlignCenter, "20");
-    painter.setPen(qApp->palette().color(QPalette::ButtonText));
     painter.drawText(myRect, Qt::AlignCenter | Qt::AlignVCenter, mOverlay);
 
     return;