Oberon Community Platform Forum

Development => UnixAOS => Topic started by: gerard94 on April 14, 2013, 12:35:39 AM



Title: Font size in PET
Post by: gerard94 on April 14, 2013, 12:35:39 AM
Hello,

I'd like to know if it's possible to change the font size in the main text of PET. I tried the Text Style Editor, but it doesn't work in this window. Thanks.

Gérard


Title: Re: Font size in PET
Post by: sage on April 14, 2013, 01:18:12 PM
You can make a copy of SyntaxHighlighter.XML in Work directory and change styles (set font to Vera monospace and size to 14, for example) in that copy as follows:
Quote
<Style fontsize="14" fontname="VeraMo" name="Default"/>
<Style fontsize="14" fontname="VeraMo" name="Bold" fontstyle="{0}"/>
<Style fontsize="14" fontname="VeraMo" name="Italic" fontstyle="{1}"/>
<Style fontsize="14" fontname="VeraMo" name="Red" color="FF0000FF"/>
<Style fontsize="14" fontname="VeraMo" name="Blue" color="FFFF"/>
<Style fontsize="14" fontname="VeraMo" name="Green" fontstyle="{0}" color="9000FF"/>
<Style fontsize="14" fontname="VeraMo" name="Comment" color="808080FF"/>
<Style fontsize="14" fontname="VeraMo" name="ToDo" color = "FF0000FF" fontstyle="{0}"/>
<Style fontsize="14" fontname="VeraMo" name="CommentItalic" fontstyle="{1}" color="808080FF"/>
<Style fontsize="14" fontname="VeraMo" name="Control" fontstyle="{0}" color="FFFF"/>
<Style fontsize="14" fontname="VeraMo" name="Modifiers" color="A000FF"/>
<Style fontsize="14" fontname="VeraMo" name="Locking" color="FF00FFFF"/>
<Style fontsize="14" fontname="VeraMo" name="Checks" fontstyle="{0}" color="FFFF"/>
<Style fontsize="14" fontname="VeraMo" name="Threads" color="FF00FFFF"/>
<Style fontsize="14" fontname="VeraMo" name="Structure" fontstyle="{0}" color="FF"/>
<Style fontsize="14" fontname="VeraMo" name="Operators" fontstyle="{0}" color="FFFF"/>
<Style fontsize="14" fontname="VeraMo" name="Values" color="30A0A0FF"/>
<Style fontsize="14" fontname="VeraMo" name="BasicTypes" color="FFFF"/>
<Style fontsize="14" fontname="VeraMo" name="ComplexTypes" fontstyle="{0}" color="FFFF"/>
<Style fontsize="14" fontname="VeraMo" name="Dangerous" fontstyle="{0}" color="FF0000FF"/>
<Style fontsize="14" fontname="VeraMo" name="Debug" color="FFFF"/>
<Style fontsize="14" fontname="VeraMo" name="String" color="BF003FFF"/>
<Style fontsize="14" fontname="VeraMo" name="Error" bgcolor="FF0000FF"/>


Title: Re: Font size in PET
Post by: gerard94 on April 14, 2013, 04:06:15 PM
Thank you, Sage. SyntaxHighlighter.XML was the key. Now, I can read my programs easily :-).

UnixAOS is a very interesting system!

Gérard