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
» Biomorphe de Pickover
par silverman Aujourd'hui à 13:34

» Virus/Antivirus
par silverman Aujourd'hui à 12:07

» PanExpress : l'éditeur Panoramic avec création d'objet
par Minibug Dim 23 Sep 2018 - 22:14

» Planétarium virtuel.
par Pedro Alvarez Dim 23 Sep 2018 - 19:50

» Calculatrice
par papydall Ven 21 Sep 2018 - 22:45

» Orbites de l’ensemble de Mandelbrot
par Minibug Ven 21 Sep 2018 - 21:32

» Demande pour Jack concernant PanExpress
par Minibug Ven 21 Sep 2018 - 11:04

» EPP_V01 éditeur pour Panoramic
par Minibug Mer 19 Sep 2018 - 21:03

» [RESOLU] Quelle ligne est sélectionnée dans SYNEDIT ?
par Jean Claude Mer 19 Sep 2018 - 21:02

» Petit coucou en passant !
par Minibug Dim 16 Sep 2018 - 15:03

» bug SEVERE fnc+sub : variables globales corrompus
par silverman Dim 16 Sep 2018 - 13:38

» Verrouiller un form en avant plan
par silverman Dim 16 Sep 2018 - 12:50

» Fin de l'aventure.
par Pedro Alvarez Sam 15 Sep 2018 - 18:16

» Demande d'explications Sur File_Write & File_writeln
par Jack Sam 15 Sep 2018 - 17:26

» MEMO avec des possibilités de commande
par Oscaribout Mer 12 Sep 2018 - 1:06

Navigation
 Portail
 Index
 Membres
 Profil
 FAQ
 Rechercher
Rechercher
 
 

Résultats par :
 
Rechercher Recherche avancée
Septembre 2018
LunMarMerJeuVenSamDim
     12
3456789
10111213141516
17181920212223
24252627282930
CalendrierCalendrier

Partagez | 
 

 Choix de la police dans l'IDE Panoramic

Aller en bas 
AuteurMessage
Marc

avatar

Nombre de messages : 869
Age : 57
Localisation : TOURS
Date d'inscription : 17/03/2014

MessageSujet: Choix de la police dans l'IDE Panoramic   Lun 12 Fév 2018 - 13:08

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…  Mad
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. scratch

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

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 !

Revenir en haut Aller en bas
Voir le profil de l'utilisateur
Klaus

avatar

Nombre de messages : 11088
Age : 69
Localisation : Ile de France
Date d'inscription : 29/12/2009

MessageSujet: Re: Choix de la police dans l'IDE Panoramic   Lun 12 Fév 2018 - 13:29

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.
Revenir en haut Aller en bas
Voir le profil de l'utilisateur http://klauspanoramic.comxa.com/index.html
JL35



Nombre de messages : 6329
Localisation : 77
Date d'inscription : 29/11/2007

MessageSujet: Re: Choix de la police dans l'IDE Panoramic   Lun 12 Fév 2018 - 13:50

Ç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'...


Dernière édition par JL35 le Lun 12 Fév 2018 - 13:53, édité 1 fois
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
Jicehel

avatar

Nombre de messages : 5929
Age : 46
Localisation : 77500
Date d'inscription : 18/04/2011

MessageSujet: Re: Choix de la police dans l'IDE Panoramic   Lun 12 Fév 2018 - 13:51

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.
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
Klaus

avatar

Nombre de messages : 11088
Age : 69
Localisation : Ile de France
Date d'inscription : 29/12/2009

MessageSujet: Re: Choix de la police dans l'IDE Panoramic   Lun 12 Fév 2018 - 13:56

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.
Revenir en haut Aller en bas
Voir le profil de l'utilisateur http://klauspanoramic.comxa.com/index.html
JL35



Nombre de messages : 6329
Localisation : 77
Date d'inscription : 29/11/2007

MessageSujet: Re: Choix de la police dans l'IDE Panoramic   Lun 12 Fév 2018 - 14:00

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:
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
papydall

avatar

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

MessageSujet: Re: Choix de la police dans l'IDE Panoramic   Lun 12 Fév 2018 - 17:52

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 ! king
Revenir en haut Aller en bas
Voir le profil de l'utilisateur http://papydall-panoramic.forumarabia.com/
Marc

avatar

Nombre de messages : 869
Age : 57
Localisation : TOURS
Date d'inscription : 17/03/2014

MessageSujet: Re: Choix de la police dans l'IDE Panoramic   Lun 12 Fév 2018 - 22:30

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 Very Happy
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 Exclamation  Exclamation  Exclamation
De nombreuses autres combinaisons existent...

Revenir en haut Aller en bas
Voir le profil de l'utilisateur
papydall

avatar

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

MessageSujet: Re: Choix de la police dans l'IDE Panoramic   Lun 12 Fév 2018 - 23:13

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

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

Spoiler:
 
Revenir en haut Aller en bas
Voir le profil de l'utilisateur http://papydall-panoramic.forumarabia.com/
Marc

avatar

Nombre de messages : 869
Age : 57
Localisation : TOURS
Date d'inscription : 17/03/2014

MessageSujet: Re: Choix de la police dans l'IDE Panoramic   Lun 12 Fév 2018 - 23:21

@ Papydall

C'est grâce à toi que j'ai découvert cette possibilité !
J'en profite pour te remercier pour tous tes partages.
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
Contenu sponsorisé




MessageSujet: Re: Choix de la police dans l'IDE Panoramic   

Revenir en haut Aller en bas
 
Choix de la police dans l'IDE Panoramic
Revenir en haut 
Page 1 sur 1
 Sujets similaires
-
» Changer la taille de police dans les contenus des widgets
» taille police dans profil et signature
» Taille et police dans le fil d'Ariane
» Changement de couleur de police dans l'éditeur de texte
» Pour la police dans un forum RPG

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
FORUM DE DISCUSSION SUR LE LANGAGE PANORAMIC :: PANORAMIC :: Vos souhaits d'amélioration de Panoramic-
Sauter vers: