FORUM DE DISCUSSION SUR LE LANGAGE PANORAMIC

Développement d'applications avec le langage Panoramic
 
AccueilAccueil  FAQFAQ  RechercherRechercher  S'enregistrerS'enregistrer  MembresMembres  GroupesGroupes  Connexion  
Derniers sujets
» Demande urgente en maths.
par JL35 Aujourd'hui à 21:21

» Compilateur FBPano
par jean_debord Aujourd'hui à 11:24

» Problème de math
par braveen Aujourd'hui à 10:53

» A propos des attributs de fichier
par papydall Hier à 14:33

» Problème de math
par Marc37 Sam 21 Oct 2017 - 23:04

» I Love You
par papydall Sam 21 Oct 2017 - 19:22

» Un petit "coucou" à tous les Panoramiciens !
par mindstorm Sam 21 Oct 2017 - 17:06

» MARK_ON déclenche un événement ON_CLICK à la place de ...
par Jean Claude Mer 18 Oct 2017 - 18:08

» mise a jour calculatrice
par joeeee2017 Mer 18 Oct 2017 - 15:57

» [solved] 3D_LINE How to ?
par Jicehel Mer 18 Oct 2017 - 11:01

» Convertisseur de base 10 de 2 à 36
par gigi75 Mar 17 Oct 2017 - 18:49

» calculatrice avec touches movibles
par joeeee2017 Dim 15 Oct 2017 - 1:11

» CORTANA
par gigi75 Sam 14 Oct 2017 - 16:32

» Calculatrice
par Jean Claude Sam 14 Oct 2017 - 12:30

» KGF_dll - nouvelles versions
par Klaus Mar 10 Oct 2017 - 18:49

Navigation
 Portail
 Index
 Membres
 Profil
 FAQ
 Rechercher
Rechercher
 
 

Résultats par :
 
Rechercher Recherche avancée
Octobre 2017
LunMarMerJeuVenSamDim
      1
2345678
9101112131415
16171819202122
23242526272829
3031     
CalendrierCalendrier

Partagez | 
 

 Taille de la police de caractères dans PANORAMIC EDITOR

Voir le sujet précédent Voir le sujet suivant Aller en bas 
AuteurMessage
papydall

avatar

Nombre de messages : 5551
Age : 67
Localisation : Moknine (Tunisie) Entre la chaise et le clavier
Date d'inscription : 03/03/2012

MessageSujet: Taille de la police de caractères dans PANORAMIC EDITOR   Lun 20 Juin 2016 - 6:22

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.

Revenir en haut Aller en bas
Voir le profil de l'utilisateur http://papydall-panoramic.forumarabia.com/
 
Taille de la police de caractères dans PANORAMIC EDITOR
Voir le sujet précédent Voir le sujet suivant Revenir en haut 
Page 1 sur 1
 Sujets similaires
-
» Taille de la police de caractères dans PANORAMIC EDITOR
» Personnal Panoramic Editor
» panoramic - Editor
» Icônes à fond transparent dans Panoramic
» [RESOLU] Modification de la taille de la police du manuel d'utilisation DEZL

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
FORUM DE DISCUSSION SUR LE LANGAGE PANORAMIC :: PANORAMIC :: Présentation et bavardage-
Sauter vers: