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
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