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
» Planétarium virtuel.
par Oscaribout Aujourd'hui à 19:45

» 11 (en analyse): commandes sur TAB et SUB_MENU.
par Jack Aujourd'hui à 14:10

» 10 (en analyse): Erreur sur variable locale.
par Jack Aujourd'hui à 14:05

» Métamatière, éternité et renouvellement
par Oscaribout Aujourd'hui à 12:40

» De retour...
par Yannick Hier à 15:11

» bug SEVERE fnc+sub : (35)name already defined
par Oscaribout Dim 12 Aoû 2018 - 23:55

» ajouter des blancs dans un TXT
par silverman Dim 12 Aoû 2018 - 15:38

» Encadrement
par Jean Claude Dim 12 Aoû 2018 - 11:53

» Des rectangles...
par JL35 Dim 12 Aoû 2018 - 10:53

» TRIGGER_KEY_COMBINED_TOUCH
par Jean Claude Mar 7 Aoû 2018 - 20:58

» ITEM_SELECT N,L pour synedit
par Jean Claude Mar 7 Aoû 2018 - 19:11

» amélioration panoramic
par silverman Dim 5 Aoû 2018 - 18:34

» Commande file_readln.
par Pedro Alvarez Dim 5 Aoû 2018 - 17:08

» Klaus ?
par Jack Sam 4 Aoû 2018 - 22:48

» Défragmentation du disque dur
par JL35 Sam 4 Aoû 2018 - 21:06

Navigation
 Portail
 Index
 Membres
 Profil
 FAQ
 Rechercher
Rechercher
 
 

Résultats par :
 
Rechercher Recherche avancée
Août 2018
LunMarMerJeuVenSamDim
  12345
6789101112
13141516171819
20212223242526
2728293031  
CalendrierCalendrier

Partagez | 
 

 Source : choix de la police et de la taille des caractères

Aller en bas 
AuteurMessage
Jack
Admin
avatar

Nombre de messages : 1901
Date d'inscription : 28/05/2007

MessageSujet: Source : choix de la police et de la taille des caractères   Sam 15 Déc 2007 - 22:13

Je suis en train de modifier l'IDE et l'EDITOR pour qu'on puisse choisir la police et la taille des caractères du source.
Le choix de la police s'effectue parmi les polices installées dans le système.

La modification est réalisée et testée.
Elle est présente dans les nouvelles versions disponibles.
Revenir en haut Aller en bas
Voir le profil de l'utilisateur http://panoramic.1fr1.net
 
Source : choix de la police et de la taille des caractères
Revenir en haut 
Page 1 sur 1
 Sujets similaires
-
» Pb pour le choix de la voie
» Taille en pixels d'une police fixe
» Votre source sur Joseph Gordon-Levitt
» Mac : problème de police
» Choix des itinéraires dans les trajets

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
FORUM DE DISCUSSION SUR LE LANGAGE PANORAMIC :: PANORAMIC :: Ce qui est en cours ...-
Sauter vers: