So geht's

Dazu rufen Sie "Extras, Einstellungen…" auf und wechseln in den Bereich "Erweitert".

Im Reiter "Allgemein" klicken Sie auf "Konfiguration bearbeiten…" und bestätigen gegebenenfalls die anschließende Sicherheitsabfrage.

Suchen Sie bei "Filter" den Einstellungsnamen "mousewheel.withcontrolkey.action". Nach einem Doppelklick auf den Eintrag ändern Sie dessen Wert von "0" auf 3 und schließen das Fenster mit "OK".

Danach ändern Sie die Textgröße, indem Sie die Taste [Strg] gedrückt halten und gleichzeitig das Mausrad drehen.