Re: [Rodin-b-sharp-user] Font Size of Camille / Pretty Print

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 454-5900

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear Carine,

thank you very much. That solved my problem.

Matthias

Carine Pascal schrieb:
> Dear Matthias,
> 
> Concerning the Pretty Print view, I have performed some tries and it
> seems that it is not possible to change its font. I have added the bug
> in the SourceForge database.
> 
> Concerning the Camille text editor, it is possible to change the font
> size by setting new preferences (go to Window -> Preferences -> General
> -> Appearance -> Colors and Fonts, choose Basic category and then modify
> the Text font).
> 
> Regards,
> 
>    Carine.
> 
> Matthias Schmalz a écrit :
> Hello,
> is there a way of changing the font size of the pretty print view or the
> Camille text editor?
> 
> Thanks,
> Matthias
>>
-
------------------------------------------------------------------------------
>>
Come build with us! The BlackBerry&reg; Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and
stay ahead of the curve. Join us from November 9&#45;12, 2009.
Register now&#33;
http://p.sf.net/sfu/devconf
_______________________________________________
Rodin-b-sharp-user mailing list
Rod...@li...
https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user
-
---------------------------------------------------------------------------------------
>>
Orange vous informe que cet  e-mail a ete controle par l'anti-virus
mail. Aucun virus connu a ce jour par nos services n'a ete detecte.
>>
>>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFKwfnrczhznXSdWggRAn4mAKCRjWrUbWrKeoHUq+rkqVaaKtx1jACfYrn9
ZHn5/gtD7h3bygiLJvDGTao=
=r0vA
-----END PGP SIGNATURE-----