Essayez simplement BetterTouchTool, vous pourrez faire presque tout ce que vous voulez !
Outil "Better Touch
Il suffit de le télécharger et de l'installer. Ensuite, exécutez-le et sélectionnez l'onglet "Keyboard" où vous pouvez configurer les boutons. Cliquez sur "Add new shortcut" et spécifiez votre raccourci - dans votre cas, "Keyboard shortcut" sera F13 et "Trigger other Keyboard shortcut" sera { Et faites de même pour les touches suivantes comme F15 etc...
Vous pouvez également configurer ces raccourcis uniquement pour votre IDE. Dans le panneau de gauche "Sélectionner l'application", cliquez sur "+" et sélectionnez votre IDE, puis configurez vos raccourcis pour votre IDE
Ohh et vous pouvez avoir un problème pour mapper les touches F14-F15, car par défaut OS X les utilise pour la luminosité du moniteur . Vous devez donc aller dans les préférences Mac - clavier - raccourci - moniteur/affichage - décocher les touches f14 et f15 et profitez-en !
Je l'utilise également pour ma configuration Magic Mouse. Par exemple, le clic du milieu et d'autres raccourcis et gestes qui me manquaient. Il prend également en charge l'accrochage des fenêtres et bien plus encore. C'est tout simplement l'une des applications indispensables sur votre Mac.
Ma recommandation est d'aller dans les paramètres de BetterTouchTool et de cocher "Lancer BetterTouchTool au démarrage".
Bon codage ;-)