| [Sujet] Posté le 04/12/2002 à 13:24 par Azarpth |  |
D'abord je voudrais dire que cet éditeur est vraiment top!, y'a longtemps que j'en cherchais un comme ca 
Je n'ai pas trouvé comment changer la taille de fontes de l'éditeur, ca se trouve a quel endroit svp?
thx
Azaroth
|
| [Répondre à ce message] [Réponses : 1 2 3 4 ] | [haut de la page] |
• [1/4] Posté le 04/12/2002 à 14:12 par Daniel  |  |
Hello Azarpth,
> D'abord je voudrais dire que cet éditeur est vraiment top!, y'a longtemps
> que j'en cherchais un comme ca
> Je n'ai pas trouvé comment changer la taille de fontes de l'éditeur, ca se
> trouve a quel endroit svp?
Tu te placs dans le panneau "Documents", puis
dans le menu: Options => Changer de police
Daniel
|
| [Répondre à ce message] | [haut de la page] |
| • [2/4] Posté le 06/12/2002 à 00:27 par Nikol@s | |
Daniel,
Puique l'on est dans les polices..
Tu pourrais pas faire une menu déroulant pour la sélection des polices (dans l'attribut de <font> , cette liste pourrait être (par exemple) éditée dans les options puisque chaun sait que tout le monde n'a pas les mêmes polices
Nikol@s
|
| [Répondre à ce message] | [haut de la page] |
| • [3/4] Posté le 06/12/2002 à 13:27 par Daniel | |
Hello Nikol@s,
> Puique l'on est dans les polices..
> Tu pourrais pas faire une menu déroulant pour la sélection des polices
> (dans l'attribut de <font>, cette liste pourrait être (par exemple) éditée
> dans les options puisque chaun sait que tout le monde n'a pas les mêmes
> polices
Bonne idée; très bonne idée; trop bonne idée.
J'aurais dû y penser avant.
Pour la prochaine version, j'ai fait une modif.
Ce n'est pas tout à fait comme tu l'as suggéré,
mais en tout cas, cela sera plus pratique qu'actuellement.
Encore BRAVO à toi!
Daniel
|
| [Répondre à ce message] | [haut de la page] |
| • [4/4] Posté le 18/01/2003 à 00:01 par Daniel | |
Hello Nikol@s,
> > Puique l'on est dans les polices..
> > Tu pourrais pas faire une menu déroulant pour la sélection des polices
> > (dans l'attribut de <font>, cette liste pourrait être (par exemple)
> > éditée dans les options puisque chaun sait que tout le monde n'a pas les
> > mêmes
> > polices
Maintenant que la version publique est sortie, on peut le dire c'est une fonction super pratique.
Si vous en avez encore des comme ça, lâchez-vous
Encore BRAVO à Nikol@s
Daniel
|
| [Répondre à ce message] | [haut de la page] |
