Re: [Anjuta-list] Changing font charcteristics in GTK Source View
- From: Johannes Schmid <johannes schmid gmx de>
- To: Sahan Gamage <sahans gmail com>
- Cc: anjuta-list lists sourceforge net
- Subject: Re: [Anjuta-list] Changing font charcteristics in GTK Source View
- Date: Thu, 15 Jun 2006 10:04:10 +0200
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi!
You are doing exactly the right thing. The only possible problem is that
you have loaded both editor plugins which gives you two editor panes in
preferences and you are changing the wrong one.
Try to unload the scintilla plugin (settings->plugin manager), restart
anjuta and try to change the settings again.
Regards,
Johannes
Sahan Gamage wrote:
> Hi All,
>
> I am using Anjuta 2.0.2cvs as my IDE to code C. I am using GTK source
> view plugin as the editor. Now I want to change the font (specially
> the size) in this editor. How can I do this ?
> I tried setings->preferences->editor->fonts&colors. But it doesn't work.
>
> Thanks in advance
> -Sahan
>
>
> _______________________________________________
> Anjuta-list mailing list
> Anjuta-list lists sourceforge net
> https://lists.sourceforge.net/lists/listinfo/anjuta-list
>
>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFEkRR67Dsf+G5b/WsRArQ3AJ0bdEgicgM/dCp+KpsmzDpfZmSj/gCfXO0s
bRPAambxA2zO0oGOzy4/zgQ=
=iaFJ
-----END PGP SIGNATURE-----
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]