IntelliJ IDEA désactive l’augmentation / diminution de la police sur CMD + scroll

J’utilise IntelliJ IDEA 9.0.2 sur Mac OS X – avec la Magic Mouse. Chaque fois que j’appuie sur le bouton de commande et que je déplace mon doigt d’un micromètre ou deux à la surface de la souris, IDEA augmente ou diminue rapidement la taille de la police rapidement. Comment puis-je désactiver cette fonctionnalité?

Settings | Editor | Enable Ctrl+MouseWheel changes font size

(Sur Mac ce serait Preferences | Editor | General | Enable CMD+MouseWheel changes font size .)

IntelliJ IDEA 14.1

Par défaut, il est désactivé et peut être trouvé ici:

Fichier> Paramètres …> Editeur> Général> Modifier la taille de la police (Zoom) avec Ctrl + molette de la souris

entrer la description de l'image icientrer la description de l'image ici

L’option est toujours là dans IntelliJ IDEA 15 EAP.

sous Linux, avant IDEA 11, j’ai utilisé Ctrl + ScrollWheel pour changer la taille de la police mais maintenant, dans IDEA 11, cette fonctionnalité a été supprimée