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
» KGF_dll - nouvelles versions
par Jicehel Hier à 23:19

» Ras la casquette...
par Yannick Hier à 18:48

» Problème avec 'instr_last'.
par Yannick Hier à 18:42

» Jeu de l'oie stratégique
par jjn4 Jeu 23 Mar 2017 - 20:46

» Suite aux dernières commandes
par Yannick Jeu 23 Mar 2017 - 16:00

» Aide (imprimable) sur PANORAMIC avec exemples
par papydall Jeu 23 Mar 2017 - 14:28

» Jeu de l'OIE électronique
par jjn4 Mer 22 Mar 2017 - 18:26

» Jeu de l'oie interplanétaire
par jean_debord Mar 21 Mar 2017 - 11:11

» Problème de création d'exécutable.
par Yannick Mar 21 Mar 2017 - 5:21

» Un bug avec USER_EVENT ?
par Klaus Lun 20 Mar 2017 - 17:41

» Bienvenue Cherrie merrie !
par Yannick Lun 20 Mar 2017 - 3:55

» Bienvenue à v.rousseau
par Yannick Dim 19 Mar 2017 - 16:26

» Panoramicien, es-tu là ?
par papydall Dim 19 Mar 2017 - 3:48

» Charger des icones sans fichiers...
par Laurent (Minibug) Sam 18 Mar 2017 - 21:52

» Compilateur FBPano
par papydall Jeu 16 Mar 2017 - 14:50

Navigation
 Portail
 Index
 Membres
 Profil
 FAQ
 Rechercher
Rechercher
 
 

Résultats par :
 
Rechercher Recherche avancée
Mars 2017
LunMarMerJeuVenSamDim
  12345
6789101112
13141516171819
20212223242526
2728293031  
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 : 5256
Age : 66
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
» Changer la taille de la police des liens dans les catégories
» [Résolu] Comment changer la taille de la police dans un code javascript ?
» comment changer la taille de la police en desous du texte de l'avatar
» Taille de la police des signatures

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