Extensa - Hotkeys für unterschiedliche Eingabegeräte trennen