• rolgiati
  • Nouveau membre
  • Déconnecté
  • De : Asuncion, Paraguay
  • Inscrit : 2013-09-28
  • Messages : 9

Sujet : Un bouton de plus dans le panneau de preferences

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

de rolgiati le site Web

Citer Message 1

2 Réponse de admin

  • admin
  • L'auteur
  • Déconnecté
  • De : Toulon
  • Inscrit : 2010-11-07
  • Messages : 59

Re : Un bouton de plus dans le panneau de preferences

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.

de admin le site Web

Citer Message 2

3 Réponse de rolgiati

  • rolgiati
  • Nouveau membre
  • Déconnecté
  • De : Asuncion, Paraguay
  • Inscrit : 2013-09-28
  • Messages : 9

Re : Un bouton de plus dans le panneau de preferences

Merci beaucoup, ca marche !

de rolgiati le site Web

Citer Message 3