german/tipp10/files/patch-widget-keyboard.cpp


1
2
3
4
5
6
7
8
9
10
11
12

--- widget/keyboard.cpp.orig    Tue Nov 27 22:06:05 2007
+++ widget/keyboard.cpp Tue Nov 27 22:07:15 2007
@@ -293,7 +293,8 @@
        // Emit the help text of current key(s)
        emit statusRefreshed(statusText);
        // Call the paint event (refresh the keyboard)
-       repaint();
+       if (keyColoring || keyColoringStart)
+           repaint();
    }
 }