jep exactly, its a quick dirty fix for the problem, that you can't have two 'ctrl + alt'-combos, so i use an additional shift.

btw.: if you wan't to do the above more 'beautifuly' it can be done by hotkeynet, with a simple script i posted in the other thread, which might be quite usefull if you have to do this for a lot of keys, as in HKN you can define a hole bunch of keys with KeyLists.