PDA

View Full Version : thinAir CodeTips



Joe Caverly
07-01-2024, 18:19
I am using thinAir 1.11.7.0 on Windows 10 Pro 22H2 (OS Build 19045.3803)

According to the thinAir.chm help file,
CodeTips is an experimental feature.

Is the CodeTips font size changeable by the user?

I'd like to have the font size as 18.

10313

Joe

Petr Schreiber
07-01-2024, 18:52
Hi Joe,

I think CodeTips are removed from thinAir now and are replaced by CallTips (this is what your screenshot shows).

Good news is that you can change their size indeed! (this is not an official approach, we need to find out how to allow you to configure the value)

Please follow this procedure:
- make sure thinAir is closed
- go to ...\thinBasic\thinAir\Themes\ directory
- edit Default.theme.xml in your favourite text editor
- seek for section <style name = "calltip">
- change value in <item name = "font.size">9</item>
- save
- start thinAir

Warning: It is probable this setting will get overwritten when you reinstall thinBasic.

Alternatively - you can create own theme for thinAir (by duplicating some existing one) and then, if saved under new name, it should be reinstall-safe.


Hope it helps,
Petr

Joe Caverly
07-01-2024, 20:14
Thanks for that Petr!

I have my own Theme file, jc DOS.theme.xml,
which is a copy of Default DOS.theme.xml,
which had no calltip style name.

So I created my own by adding the following;

<style name = "calltip">
<item name = "font.size">18</item>
</style>

Restarted thinAir, and I now have the desired change in font size;

10314

I did a search of the thinAir.chm file, and nothing was found for CallTips, only CodeTips.

Thanks for your assistance today!

Joe

Petr Schreiber
09-01-2024, 00:33
Happy it worked!

Help files will need an update for sure.


Petr

TheInsider
31-01-2024, 04:40
How can the Calltips be turned off entirely?

in Default.theme.xml and in my custom theme.xml, I tried changing the <item name = "activate">true</item> line to <item name = "activate">false</item>

Exited ThinAir & restarted. Still working.


I deleted the whole section from Default.theme.xml, and I still get a black box where the tooltip would normally show up.


Also, I noticed that the word "activate" is used, yet "active" is used elsewhere in the xml file.
i.e. <item name = "active">true</item> vs <item name = "activate">true</item>

Help....:confused:

ErosOlmi
31-01-2024, 08:33
You can use Options/CallTips to remove calltips while typing
Change, close thinAir and open again
This option is still used

However CallTips while moving mouse over some text cannot be removed in this version.
I will add an option to remove in next thinBasic version

ErosOlmi
31-01-2024, 08:34
Also, I noticed that the word "activate" is used, yet "active" is used elsewhere in the xml file.
i.e. <item name = "active">true</item> vs <item name = "activate">true</item>

Thanks for getting this detail.
Will harmonize better in next thinBasic version

TheInsider
31-01-2024, 17:59
Thanks, Eros.

I need all the help I can get:D, but honestly I find the tips box getting in the way more than helping. I usually just keep the ThinBasic help manual open on a second screen, and hit F1 on any keyword I need help on.

Maybe another way to implement it could be like reserving a few lines at the bottom of the ThinAir screen where the latest CallTips information can be always displayed?

ErosOlmi
31-01-2024, 18:41
Thanks, Eros.

I need all the help I can get:D, but honestly I find the tips box getting in the way more than helping. I usually just keep the ThinBasic help manual open on a second screen, and hit F1 on any keyword I need help on.

Maybe another way to implement it could be like reserving a few lines at the bottom of the ThinAir screen where the latest CallTips information can be always displayed?

Yes can be an idea. Thanks
Code tips like actually is can be a little bit invasive.
Will consider how to do it.

ErosOlmi
08-02-2024, 20:05
Latest thinAir has the option to switch off both codetips while typing and while moving mouse over

Please download thinBasic 1.12 and let me know if it works
thinAir\Options\CodeTips

TheInsider
09-02-2024, 19:05
You got it. When toggled off, they are nowhere to be found, Thx!