Re: wmaker : taille des polices

2004-05-24 Par sujet Léopold BAILLY
Le ven 21/05/2004 à 22:40, Jean-Michel OLTRA a écrit : > Le vendredi 21 mai 2004, Jean-Luc Coulon (f5ibh) a écrit... > Si c'est du gtk, il y a le ~/.gtkrc je pense, mais pour ce qui est de > mettre dedans... Si c'est du gtk2, le fichier à modifier est ~/.gtkrc-2.0. Un message est passé à ce propos

Re: wmaker : taille des polices

2004-05-24 Par sujet f5ibh
On Mon, May 24, 2004 at 11:19:38AM +0200, Damien POBEL wrote: > Le lun 24/05/2004 à 11:15, Jean-Luc Coulon a écrit : > > On Mon, May 24, 2004 at 10:24:23AM +0200, Damien POBEL wrote: > > > Le sam 22/05/2004 à 21:48, Jean-Luc Coulon (f5ibh) a écrit : > > > > [ ... ] > > > > > > > > > > Je poursui

Re: wmaker : taille des polices

2004-05-24 Par sujet Damien POBEL
Le lun 24/05/2004 à 11:15, Jean-Luc Coulon a écrit : > On Mon, May 24, 2004 at 10:24:23AM +0200, Damien POBEL wrote: > > Le sam 22/05/2004 à 21:48, Jean-Luc Coulon (f5ibh) a écrit : > > [ ... ] > > > > > > > Je poursuivrai les investigations pour savoir que mettre et ou le > > > mettre pour qu

Re: wmaker : taille des polices

2004-05-24 Par sujet f5ibh
On Mon, May 24, 2004 at 10:24:23AM +0200, Damien POBEL wrote: > Le sam 22/05/2004 à 21:48, Jean-Luc Coulon (f5ibh) a écrit : [ ... ] > > > > Je poursuivrai les investigations pour savoir que mettre et ou le > > mettre pour que ça se fasse automagiquement. > > moi j'avais un problème similaire

Re: wmaker : taille des polices

2004-05-24 Par sujet Damien POBEL
Le sam 22/05/2004 à 21:48, Jean-Luc Coulon (f5ibh) a écrit : > Le 22.05.2004 20:07:13, NoSpam a écrit : > > > switch2 change les icônes de galeon et la couleur de la barre en > > accord > > > avec le thème gtk2 choisi. Il ne change pas la taille des polices. > > > > > > > As-tu cliqué sur le bouto

Re: wmaker : taille des polices

2004-05-23 Par sujet Jean-Michel OLTRA
bonjour, Le samedi 22 mai 2004, François TOURDE a écrit... > > Tu as fait un strace pour voir si il était lu ? > J'avoue que je ne sais pas sur quoi faire le strace. Sur l'appli > elle-même? J'ai des doutes. Les fontes changent quasiment en temps > réel quand je lance gnome-control-ce

Re: wmaker : taille des polices

2004-05-22 Par sujet François TOURDE
Le 12560ième jour après Epoch, Jean-Michel OLTRA écrivait: > bonjour, > > > Le vendredi 21 mai 2004, François TOURDE a écrit... > > >> | style "gtk-default-iso-8859-15" { >> |fontset = "-*-helvetica-medium-r-normal--10-*-*-*-*-*-iso8859-1,\ >> | -*-arial-medium-r

Re: wmaker : taille des polices

2004-05-22 Par sujet Jean-Luc Coulon (f5ibh)
Le 22.05.2004 20:07:13, NoSpam a écrit : > switch2 change les icônes de galeon et la couleur de la barre en accord > avec le thème gtk2 choisi. Il ne change pas la taille des polices. > As-tu cliqué sur le bouton (ressemble à un '+' bleu avec mon thême) à coté du bouton de listage des thêmes et

Re: wmaker : taille des polices

2004-05-22 Par sujet NoSpam
> switch2 change les icônes de galeon et la couleur de la barre en accord > avec le thème gtk2 choisi. Il ne change pas la taille des polices. > As-tu cliqué sur le bouton (ressemble à un '+' bleu avec mon thême) à coté du bouton de listage des thêmes et ensuite coché la case [X] use font et ch

Re: wmaker : taille des polices

2004-05-22 Par sujet Jean-Luc Coulon (f5ibh)
Le 22.05.2004 16:21:44, NoSpam a écrit : Le ven 21/05/2004 à 21:10, Jean-Luc Coulon (f5ibh) a écrit : [ ] Salut, Pour changer les thêmes gtk1/2 sous un autre gestionnaires de fenêtres que gnome (j'utilises aussi wmaker), j'utilise les deux applis suivantes switch (gtk1) et switch2 (gt

Re: wmaker : taille des polices

2004-05-22 Par sujet NoSpam
Le ven 21/05/2004 à 21:10, Jean-Luc Coulon (f5ibh) a écrit : > Bonsoir, > > Je suis en train de commuter vers wmaker. Je n'avais plus utlisé ce > dernier depuis for longtemps pour adopter gnome/metacity. les temps > devenant durs pour mon pauvre processeur, je suis repassé à quelque > chose

Re: wmaker : taille des polices

2004-05-22 Par sujet Nicolas
Jean-Luc Coulon (f5ibh) wrote: > Je constate que les logiciels que j'utilisais pour le courriel et le > web, en l'occurence balsa et galeon présentent une taille de caractères > très petite. > > Un truc ? As tu défini les mêmes locales ? J'ai eu ce problème, le paramêtre par défaut étant fr_EURO.

Re: wmaker : taille des polices

2004-05-22 Par sujet Jean-Michel OLTRA
bonjour, Le vendredi 21 mai 2004, François TOURDE a écrit... > | style "gtk-default-iso-8859-15" { > |fontset = "-*-helvetica-medium-r-normal--10-*-*-*-*-*-iso8859-1,\ > | -*-arial-medium-r-normal--10-*-*-*-*-*-iso8859-1,\ > | -*-helvetica-med

Re: wmaker : taille des polices

2004-05-22 Par sujet Jean-Luc Coulon (f5ibh)
Le 21.05.2004 23:13:54, François TOURDE a écrit : Le 12559ième jour après Epoch, Jean-Michel OLTRA écrivait: >bonjour, > > > Le vendredi 21 mai 2004, Jean-Luc Coulon (f5ibh) a écrit... > > >> Je peux, bien sûr demander à augmenter la taille des caractères dans >> les pages visitées ou dans l

Re: wmaker : taille des polices

2004-05-22 Par sujet Jean-Luc Coulon (f5ibh)
Le 21.05.2004 23:13:54, François TOURDE a écrit : Le 12559ième jour après Epoch, Jean-Michel OLTRA écrivait: >bonjour, > > > Le vendredi 21 mai 2004, Jean-Luc Coulon (f5ibh) a écrit... > > >> Je peux, bien sûr demander à augmenter la taille des caractères dans >> les pages visitées ou dans l

Re: wmaker : taille des polices

2004-05-21 Par sujet François TOURDE
Le 12559ième jour après Epoch, Jean-Michel OLTRA écrivait: > bonjour, > > > Le vendredi 21 mai 2004, Jean-Luc Coulon (f5ibh) a écrit... > > >> Je peux, bien sûr demander à augmenter la taille des caractères dans >> les pages visitées ou dans le contenu des messages depuis les >> paramètr

Re: wmaker : taille des polices

2004-05-21 Par sujet f5ibh
On Fri, May 21, 2004 at 10:33:32PM +0200, Florent Bayle wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > Le vendredi 21 Mai 2004 21:10, Jean-Luc Coulon (f5ibh) a écrit : > > Bonsoir, > > > > Je suis en train de commuter vers wmaker. Je n'avais plus utlisé ce > > dernier depuis for long

Re: wmaker : taille des polices

2004-05-21 Par sujet Jean-Michel OLTRA
bonjour, Le vendredi 21 mai 2004, Jean-Luc Coulon (f5ibh) a écrit... > Je peux, bien sûr demander à augmenter la taille des caractères dans > les pages visitées ou dans le contenu des messages depuis les > paramètres de ces logiciels mais ça ne change pas la taille des > caractèr

Re: wmaker : taille des polices

2004-05-21 Par sujet Florent Bayle
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Le vendredi 21 Mai 2004 21:10, Jean-Luc Coulon (f5ibh) a écrit : > Bonsoir, > > Je suis en train de commuter vers wmaker. Je n'avais plus utlisé ce > dernier depuis for longtemps pour adopter gnome/metacity. les temps > devenant durs pour mon pauvre pr