ANNOUNCE: Boa Constructor 0.0.4 - GUI building IDE for wxPython

[Fred Pacquier]

riaan at e.co.za (Riaan Booysen) said :

>
>> probably stupid question : is it possible to change the font or font
>> size in the editor ? It's too big on my display...
>
>If opening a source file in the editor counts :)

In C/C++ it doesn't, in Python it does :)

>At the top(ish) of the module Views.StyledTextCtrls there is a
>dictionary
>of fonts and sizes.
>6 seems to be the smallest legible size on Windows.

Yup, thanks.

>Scintilla supports changing the font size of the whole document by
>pressing CTRL +/-.
>This is not saved and will have to be set everytime.

That's good too. Looking forward to the alpha !...

-- 
YAFAP : http://www.multimania.com/fredp/