Voici une astuce qui va rendre heureux tous ceux dont la vision est assez médiocre comme la mienne.
Dans PANORAMIC EDITOR, je trouve que la meilleure police de caractères est
DejaVu Sans Mono.
Mais dans PANORAMIC EDITOR la taille de cette police est limitée à 12 et ça ne convient pas pour mes yeux fatigués.
J’ai trouvé une astuce pour augmenter cette taille (14, 16 ou même 18 ou 19).
Personnellement la taille 14 me convient.
Comment faire ?
Cliquer sur la taille : la valeur est sélectionnée (en bleu)
Cliquez à nouveau, la case prend le focus (le curseur clignote)
Taper la touche back-space (la flèche à gauche au dessus de <ENTER>) pour effacer le dernier chiffre.
La taille vaut maintenant 1 et perd le focus
Cliquer à nouveau, le curseur se trouve à droite du 1
Taper le chiffre que vous voulez (de 0 à 9), par exemple 4
La taille est désormais 14, c’est qui est agréable pour mes yeux.
Vous pouvez quitter l’éditeur et ce réglage restera valable pour la suite.
Accueil 
Calendrier
