Ecrire une réponse

2013-10-18 00:01:19

Merci beaucoup, ca marche !

2013-10-17 22:32:15

Bonjour,
je peux vous proposer la manipulation suivante :
1) téléchargez la version de BagPipe mise en ligne le 17/10/16
2) créez un fichier texte nommé bagpipe2.opt dans $HOME sous Linux ou MacOSX, ou bien dans $USERPROFILE sous Windows (la variable d'environnement $USERPROFILE contient généralement "C:\Documents and Settings\<UTILISATEUR>").
3) insérez les deux lignes suivantes dans ce fichier :
font create myDefaultFont -family Helvetica -size 20
option add *font myDefaultFont

Vous pourrez bien entendu choisir une autre police que Helvetica ou une autre taille de caractères que 20.

2013-10-05 16:09:03

Serait-il possible, dans une prochaine phase du developpement, d'ajouter a la page Display du panneau de Preferences un bouton: "Nom et taille de la police de caracteres de l'interface graphique" ?

Avec les grands ecrans a haute definition disponibles actuellement, je trouve les menys de l'interface graphique quasi-impossibles a lire sans mettre mon nez presque a toucher l'ecran...

Ecrire une réponse

Ecrire une réponse

Composez et envoyez votre nouvelle réponse

Revue du sujet (plus récents en tête)

3 Message de rolgiati 2013-10-18 00:01:19

2 Message de admin 2013-10-17 22:32:15

1 Message de rolgiati 2013-10-05 16:09:03