Use Gtk.accelerator_get_label() to fix and simplify hotkey handling