web-dev-qa-db-fra.com

raccourci pour changer la taille de la police de l'éditeur dans Oracle SQL Developer

Existe-t-il un raccourci pour modifier la taille de la police dans Oracle SQL Developer? comme nous avons Ctrl + molette de la souris dans SQL Server. J'ai cherché partout mais je n'ai rien trouvé. S'il vous plaît aider si quelqu'un sait.

3
Sandy

Oui, il existe un moyen d’augmenter ou de diminuer la taille de la police. Veuillez suivre les étapes ci-dessous.

  1. Cliquez sur Outil, sélectionnez Préférences.

  2. Cliquez sur l'éditeur de code.

  3. Cliquez sur les polices.

  4. Définissez la taille dans la liste déroulante Taille de police. 

3
Humble_boy

Par défaut, il n’existe aucun raccourci clavier pour ces actions. Cependant, vous pouvez en définir vous-même. Voici comment: 

  • ouvrez "Préférences" (vous le trouverez dans le menu "Outils"). 
  • faites défiler le côté gauche vers le bas jusqu'à trouver "Touches de raccourci"; cliquez dessus
  • en haut à droite, vous verrez le champ "Rechercher" - mettez "police" dedans; "Diminuer" et "Augmenter la taille de la police" apparaîtront automatiquement
  • réglez-les sur le raccourci que vous jugez approprié
2
Littlefoot

Dans le cas de MacBook, les préférences seront disponibles dans le menu App. 

i.e Oracle SQL Developer -> Préférences 

ou utilisez Command +

0

Pour augmenter ou réduire la taille de la police dans Oracle SQL Developer. Veuillez suivre les étapes ci-dessous.

-> Cliquez sur Outils, sélectionnez Préférences.

-> Tapez "Police" dans la case de recherche en haut à gauche

-> Sélectionnez la taille dans le champ "Taille de la police" à droite pour augmenter ou réduire la taille de la police.

0
user10991109