Hi Jens, sorry these are not supported directly by MoI currently. Maybe there is some utility that you could find that would generate alternate keystrokes for them, like make F13 send Ctrl+Shift+F12 or something like that, then in MoI you would set up a shortcut for Ctrl+Shift+F12 but be able to have it activated with F13. Something like that might be a possibility.

- Michael