Re: [Boa Constr] the Editor

[Riaan B. <riaan@e.co.za>]

db...@in... wrote:
> 
> Hello,
> 
>   Is it possible to change the font use in the Editor ?
> 
> Thanks

It's not yet possible to change in the GUI but you can change it in the code.
In line 278 of EditorView.py change
        self.SetFont(wxFont(9, wxMODERN, wxNORMAL, wxNORMAL, false))
to whatever you prefer.

To change the font of the Shell page, in line 125 of Editor.py, change
        self.SetFont(wxFont(9, wxMODERN, wxNORMAL, wxNORMAL, false))
to what you want.

Enjoy.

Riaan