web-dev-qa-db-fra.com

Taille du texte de PhpStorm

Est-il possible de définir un raccourci pour augmenter/diminuer la taille du code dans PhpStorm, comme ce que vous pouvez faire dans Notepad ++ avec CTRL+Mouse Wheel?

phpstorm
90
PHPst

Activer CTRL+Mouse Wheel: Paramètres -> Editeur -> Changer la taille de la police (Zoom) avec Ctrl + Molette de la souris (cocher).

enter image description here

Spécifiez la taille de police exacte: Paramètres -> Éditeur -> Couleurs et polices -> Police.

enter image description here

148
Nikola K.

dans la nouvelle version de ce fichier d'adresses> réglage> éditeur> vérification générale cet élément Changer la taille de la police (Zoom) avec Ctrl + molette de la souris

12
hamidreza

Les schémas prédéfinis ne sont pas modifiables. Pour modifier les paramètres de couleurs et de polices dans un tel schéma, créez sa copie. Donc, pour changer la taille de la police, sélectionnez le modèle de votre choix. Enregistrez le "schéma" en tant que copie avec un nom comme "schéma 2". Maintenant, la taille de la police par défaut sera éditable.

6
dtouch

Vous pouvez également utiliser Affichage → Entrer en mode Présentation.

La taille de police par défaut pour ce mode est 24.

Vous pouvez le changer ici: Paramètres → Apparence → Mode présentation → Taille de la police

5
German Khokhlov

Sous MacOS, vous devez naviguer vers l'écran PhpStorm -> Préférences -> Editeur -> Général et cocher/décocher la case "Changer la taille de la police (Zoom) avec la commande + molette de la souris". J'ai décoché parce que je n'aime pas ça mais peut-être que vous aimez.

De plus, vous pouvez utiliser le champ Finder situé dans le coin supérieur gauche de la même boîte de dialogue PhpStorm -> Préférences. Tapez le mot "taille" dans ce champ et vous verrez quelques éléments sur le côté droit de la boîte de dialogue. Il existe les options Actions de l'éditeur -> Diminuer la taille de la police et Actions de l'éditeur -> Augmenter la taille de la police.

Faites un clic droit sur chacun d'eux et choisissez "Ajouter un raccourci clavier". Enfin, appuyez sur les touches Ctrl et numérique plus en cas d’augmentation et Ctrl et les valeurs numériques en cas de diminution, puis appuyez sur OK (si vous avez une partie numérique de votre clavier).

5
Csongor Halmai

Je peux modifier mes polices PHP Storm (version 8.0.3 ou ultérieure]) par

  1. Allez dans Fichier, puis cliquez sur Paramètres.
  2. Formulaire Menu latéral gauche, sélectionnez Editor -> General tab
  3. Cochez cette case sous Mouse section Change font size (zoom) with Ctrl_Mouse Wheel (voir photo ci-dessous).

enter image description here

1
Muhammad Faizan Khan

Basculer entre les éditeurs et zoomer du texte pendant les présentations peut être compliqué. Si vous aviez l'habitude de le faire comme dans notepad ++, cela vous aidera peut-être si vous utilisez win:

^NumpadAdd::
    send,^{WheelUp}
return

le script complet que vous pouvez trouver ici: https://Gist.github.com/sl5net/7170280#file-gistfile1-txt

0
SL5net