Platform independent hotkey handling for Gtk+ applications