Comment définir un raccourci de touche à double pression sur Mavericks ? Par exemple, double pression sur la touche Option pour le contrôle de la mission.

Vous pouvez utiliser un privé.xml comme ça avec KeyRemap4MacBook :

<?xml version="1.0"?>
<root>
  <item>
    <name>custom</name>
    <identifier>custom</identifier>
    <autogen>__DoublePressModifier__ KeyCode::OPTION_L, KeyCode::OPTION_L,
    KeyCode::EXPOSE_ALL</autogen>
  </item>
</root>

Vous pouvez également attribuer différentes fonctions à la pression et au maintien d'une touche. Ainsi, si vous appuyez sur la bonne commande, vous pourrez ouvrir Safari :

<?xml version="1.0"?>
<root>
  <vkopenurldef>
    <name>KeyCode::VK_OPEN_URL_SAFARI</name>
    <url>file:///Applications/Safari.app</url>
  </vkopenurldef>
  <item>
    <name>custom</name>
    <identifier>custom</identifier>
    <autogen>__KeyOverlaidModifier__ KeyCode::COMMAND_R, KeyCode::COMMAND_R,
    KeyCode::VK_OPEN_URL_SAFARI</autogen>
  </item>
</root>