I was wondering if anyone could tell me the locations of the relevant services/libraries/whatever ubuntu uses for hotkey management. I'm writing a gnome-shell extension at the moment because I'm sick of not having the compiz grid hotkeys and I wanted to know how hotkeys are handled elsewhere in the distro, so I can check during install whether the hotkeys I'm using are already registered to another application (typically, they shouldn't be, but it pays to check).
Thanks in advance!
