GtkHotkey is a platform independent way to manage and bind desktop hotkeys.