Choix de la police dans l'IDE Panoramic

Bonjour à tous !

Bien souvent, lors de l’utilisation de l’IDE Panoramic, toutes versions confondues, la zone de sélection de la police prend le focus à mon insu…  
Je ne sais pas comment je réalise un tel tour de passe-passe, mais je pense être certain de ne pas avoir cliqué dans cette zone police.

Pour conséquence, une simple rotation de la molette de la souris et hop… la police d’affichage est modifiée !  

Je souhaite et suggère que cette sélection de police (avec son compère taille), soit cachée dans le menu déroulant Choix.

Qu’en pensez-vous ?

Bonne programmation à tous !

Oui, ça m'arrive souvent, également. Ceci dit, cela ne me pose pas de problème car je n'utilise aucune des polices prédéfinies. Mon champ "Nom de police" contient juste la lettre "u", ce qui conduit à une police standard au pas fixe, exactement ce dont j'ai besoin. En cas de perturbation, il est donc facile de remettre un "u" dans cette zone, et tout redevient normal:


Mais c'est vrai - le problème existe.

Ça me le fait assez souvent, un appui malheureux sur une touche du clavier (mais je n'ai jamais pu déterminer laquelle), et hop ! je me retrouve avec un affichage de l'éditeur dans une police complètement farfelue.

Klaus, je ne sais pas comment tu fais, si je tape 'u' dans le champ police il me met d'office 'Utsaah'...

oui, je suis d'accord mais ce sujet est ancien. On n'a pas de raison de modifier la police à tout bout de champ, ce choix de police peut donc ce faire dans les options et du temps où je programmais, cette mésaventure m'arrivait régulièrement aussi.
Ce n'est pas un problème bloquant, c'était juste un peu agaçant et surtout il n'y a pas vraiment de raison que cette option soit dans la barre. On doit pouvoir mettre quelque chose de plus utile à la place.

Citation :

Klaus, je ne sais pas comment tu fais, si je tape 'u' dans le champ police il me met d'office 'Utsaah'...

Cela dépend bien sûr des polices installées. Tape une lettre quelconque qui n'est pas la première lettre d'une police installée (un point par exemple, ou un espace). Ca fait le même effet.

Effectivement, Utsaah est bien une police installée chez moi.
Si je mets 'z' ça marche, pas de police commençant par z. Et merci pour le tuyau.
Mais cette police 'standard' n'est pas très jolie quand même, avec des lettres trop écartées et certaines décalées à gauche (le I par exemple).
Perso j'utilise 'Bitstream Vera Sans Mono' mais je ne sais pas si elle est standard.
Police 'z' taille 10:

Bitstream idem:

J’apporte mon grain de sel sur ce sujet.
Pour moi, j’ai opté pour la police DejaVu Sans Mono.
C’est plus commode pour mes yeux fatigués.
Mais l’astuce est la suivante :
La taille de la police est limitée à 12 (avec toutes les polices)



Pour l’augmenter jusqu’à 19, procéder comme suit :
• Cliquer à coté de 12 pour faire sélectionner la taille
• Appuyer sur la flèche droite
• Appuyer sur la flèche gauche pour supprimer le 2 du 12
• Cliquer à nouveau, puis flèche droite puis taper 9 : la taille de votre police passera à 19 (c’est le maximum)





Avec une telle taille, c'est du  confort !

Merci à tous pour vos réactions.
J'ai eu peur d'être le seul à avoir cette mésaventure.

Papydal a écrit:

la taille de votre police passera à 19 (c’est le maximum)

Objection votre honneur !
On peut avoir plus grand
Par exemple, en plaçant le curseur entre le 1 et le 2 de la taille 12, on peut insérer un 2, ce qui fait 122    
De nombreuses autres combinaisons existent...

Et dire que je faisais le Monsieur "qui-sait-tout-et-qui-n’ignore-rien" !  

Bon, je me contenterai d’une taille de 20 : c’est confortablement lisible pour moi.

Spoiler:

@ Papydall

C'est grâce à toi que j'ai découvert cette possibilité !
J'en profite pour te remercier pour tous tes partages.