Add keyboard shortcuts to the goal keys.

diff --git a/client/mainwindow.ui b/client/mainwindow.ui
index 29f71fdb7597815ed95ccde74b4228be45e21150..c3cc64258f76d227141609be0ce6a66bf57a1ff5 100644 (file)
--- a/client/mainwindow.ui
+++ b/client/mainwindow.ui
@@ -92,14 +92,20 @@
             <item>
              <widget class="QPushButton" name="goal_2_btn">
               <property name="text">
-               <string>+1 point</string>
+               <string>+1 point (F9)</string>
+              </property>
+              <property name="shortcut">
+               <string>F9</string>
               </property>
              </widget>
             </item>
             <item>
              <widget class="QPushButton" name="ungoal_2_btn">
               <property name="text">
-               <string>-1 point</string>
+               <string>-1 point (F11)</string>
+              </property>
+              <property name="shortcut">
+               <string>F11</string>
               </property>
              </widget>
             </item>
@@ -141,14 +147,20 @@
             <item>
              <widget class="QPushButton" name="goal_1_btn">
               <property name="text">
-               <string>+1 point</string>
+               <string>+1 point (F5)</string>
+              </property>
+              <property name="shortcut">
+               <string>F5</string>
               </property>
              </widget>
             </item>
             <item>
              <widget class="QPushButton" name="ungoal_1_btn">
               <property name="text">
-               <string>-1 point</string>
+               <string>-1 point (F7)</string>
+              </property>
+              <property name="shortcut">
+               <string>F7</string>
               </property>
              </widget>
             </item>