INSTALL verbessert und Mauszeiger verschönert

obp60v.py

@@ -498,6 +498,8 @@ class Frontend(Gtk.Window):
                    event.y >= v[1] and event.y <= v[1] + self.button_h:
                     self.button_clicked = b
                     break
+        hand_cursor = Gdk.Cursor(Gdk.CursorType.HAND2)
+        widget.get_window().set_cursor(hand_cursor)
         return True
 
     def da_button_release(self, widget, event):
@@ -508,6 +510,7 @@ class Frontend(Gtk.Window):
         # Falls der Rückgabewert "True" ist, hat die Seite die Taste
         # verarbeitet, die Funktion hier wird damit unterdrückt.
         # TODO
+        widget.get_window().set_cursor(None)
         if self.button_round:
             if (event.x < self.button[1][0] - self.button_radius or event.x > self.button[6][0] + self.button_radius):
                return True