Source : choix de la police et de la taille des caractères
Auteur
Message
Jack Admin
Nombre de messages : 2394 Date d'inscription : 28/05/2007
Sujet: 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.
Source : choix de la police et de la taille des caractères