Font and Size

[Joe Caverly]

I am using thinAir 1.11.7.0 on Windows 10 Pro 22H2 (OS Build 19045.3803)

From the menu,
I select Window -> Options -> Editor

Regardless of what I change the Font or Font Size to,
it is not reflected in the editor.

That is,
it does not change from the default Font and Font Size.

I've tried exiting thinAir,
then starting thinAir,
but font and font size still remain at default.

As an example,
from the thinAir options Dialog,
I changed the font and font size to Courier New 36

Clicking okay results in no change to the default font.

Exit thinAir, start thinAir,
thinAir options Dialog still shows Courier New 36,
but editor still has default font.

Viewing the thinAir.ini file,
I see;

FontName=Courier New
FontSize= 36

What am I not doing correctly?

Joe

[TheInsider]

Same thing for me, running on Windows10.

[ErosOlmi]

You can change editor zooming factor using CTRL + mouse wheel.
Also CTRL + or CTRL - can be used to change zooming factor
It is quick step but it is not permanent and it is by window, every window have its zooming factor

thinAir Option dialog will be removed as it is now.

All visual options are now inside xml files called thinAir visual themes.
They are placed in thinAir\Themes\ path and MUST have .theme.xml extension

You can actually change theme using right click and then change the theme or click on "Open explorer them path" to see theme xml configuration
Inside theme file you can change font size

You can create your own theme duplicating a theme .theme.xml file and create your own with your colors and options
Once created you can use inside thinAir using right click on the editor

thinAir Theme editor is under development

[Joe Caverly]

Thankyou for that!

I went in to the .XML file (Default DOS),
changed the font size to 18,
and it is now reflected in the thinAir editor.

I don't think this is documented in the help file,
is it?

I did a search for Theme and no results were returned.
Ditto for XML.

Default DOS Theme is close to Borland DOS Theme,
which is what I want.

Joe

[TheInsider]

I had no idea. This is awesome. The darker themes are so much better for me!

[ErosOlmi]

No, it is not mentioned sorry
Just few mention in https://help.thinbasic.com/index.html?version_1_11_3_0_version_1_12_0_0.htm if you search for "theme" in the page.
Will do once I will have a decent theme editor
The idea is to write theme editor directly using thinBasic and release as source code.

Anyway, better to create your own theme copying the one you prefer and making changes on it.
Themes distributed with thinBasic installation will be overwritten every time.

[ErosOlmi]

I had no idea. This is awesome. The darker themes are so much better for me!
Under thinBasic right click menu there are some useful utilities :D
Also right click on upper MDI tabs to have some options on the current file