Re: [anjuta-list] Police de l'éditeur
- From: Sébastien Granjoux <seb sfo free fr>
- To: Henri LORET <handlor hotmail fr>
- Cc: anjuta-list gnome org
- Subject: Re: [anjuta-list] Police de l'éditeur
- Date: Sat, 26 Oct 2013 09:59:42 +0200
Bonjour,
Le 24/10/2013 19:36, Henri LORET a écrit :
Comment modifier la taille ou le type de la police de l'éditeur "Anjuta"
C'est réglable dans les préférences de l’éditeur, accessible dans le
menu Edition->Preferences puis l'icone GtkSourceView éditeur sur la
gauche puis la page Police.
Salutations,
Sébastien
PS: Il est préférable de poser les questions en anglais sur cette liste
de diffusion, cela permet à plus de personnes de répondre.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
