Re: [Anjuta-list] Changing font charcteristics in GTK Source View

[Johannes Schmid <johannes schmid gmx de>]

-----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-----