On Fri, 15 Mar 2013 21:09:07 +0100, Jan Pokorny <pokorj at gmail.com> wrote: > OK, I've made some progress and the following code seems to work > properly, so how about this as a code in hotkeys.c? That code clobbers the user preferences... -- Rémi Denis-Courmont Sent from my collocated server