#1 Le 27/02/2009, à 13:34
- olive974
Kile :Taille de la police de l'interface
Bonjour,
j'utilise kile sous Ubuntu 8.10 pour mes rédiger mes documents en LaTeX.
Mais je voudrais agrandir la police de l'interface ( police de "fichier, editer.."), que je trouve trop petite.
Je ne vois pas du tout comment on fait, ou s'il est possible de le faire.
Avec Texmaker, il suffisait de faire options-->changer la police de l'interface.
S'il quelqu'un sait comment faire, je lui serais reconnaissant.
#2 Le 27/02/2009, à 13:52
- ®om
Re : Kile :Taille de la police de l'interface
Ça se règle dans les préférences de KDE. Si tu es sous gnome, il faut installer le paquet qui permet de changer les réglages de KDE, sous KDE3 c'était kcontrol, sous KDE4 je ne sais plus.
Hors ligne
#3 Le 27/02/2009, à 18:33
- olive974
Re : Kile :Taille de la police de l'interface
Merci pour la réponse.
J'ai téléchargé avec Synaptic les paquets KcmPureftpd ,Kcontrol-autostart, k-style-comix,
mais je ne vois pas comment faire pour avoir accès à "mes préférences".
( J'ai essayé d'utiliser le logiciel Autostart Manager, mais je ne sais pas à quoi il sert,
ni comment il fonctionne.
#4 Le 06/09/2009, à 12:37
- Koxx
Re : Kile :Taille de la police de l'interface
Salut!
J'ai eut le même problème et j'ai perdu pas mal de temps avant de trouver ce site :
http://blog.rom1v.com/2009/06/configurer-les-applis-kde-sous-gnome/
où les problèmes du genre sont résolus!!
Hors ligne
#5 Le 07/09/2009, à 08:54
- playmobill
Re : Kile :Taille de la police de l'interface
Le remplaçant de kcontrol, c'est systemsettings
Passer à Linux n’est pas un défi, c’est juste un choix.
Hors ligne
#6 Le 07/09/2009, à 09:18
- totophe
Re : Kile :Taille de la police de l'interface
Coucou,
Pour modifier la police dans Kile:
Configuration --> Configurer Kile --> Editeur / Polices et couleurs --> onglet police
P.S.: il faut avoir un document d'ouvert dans Kile pour faire apparaitre "Editeur" dans l'outil de configuration de Kile.
"La route est longue, mais la voie est libre…" www.framasoft.org
Soutenez Framasoft ! soutenir.framasoft.org
Et voir aussi : Framabook
Hors ligne
#7 Le 25/07/2015, à 11:06
- Igrec27
Re : Kile :Taille de la police de l'interface
Merci totophe
six ans apres c est toujours valable et utile.
Hors ligne