www.thinbasic.com | www.thinbasic.com/community/ | help.thinbasic.com
Windows 10 Pro for Workstations 64bit - 32 GB - Intel(R) Xeon(R) W-10855M CPU @ 2.80GHz - NVIDIA Quadro RTX 3000
Default Console sets are stored in Windows Registry under the key:
HKEY_CURRENT_USER\Console
Below that key-tree there can be other keys listing application specific setup.
You can write a script to change font name and pitch directly in the registry but I do not think it is good solution.
Anyhow a possible script for changing Registry keys is:
[code=thinbasic]
uses "registry"
Registry_SetValue("HKEYCU", "Console\C:_MyApplicationName.exe", "FaceName", "My Font Name")
[/code]
where:
- "Console\C:_MyApplicationName.exe" is the file name of your application.
For thinBasic uses "Console\C:_thinBasic_thinBasic.exe"
and
For thinBasic Console uses "Console\C:_thinBasic_thinBasicC.exe"- "My Font Name" is the name of the font to use. Example "Lucida Console"
Ciao
Eros
www.thinbasic.com | www.thinbasic.com/community/ | help.thinbasic.com
Windows 10 Pro for Workstations 64bit - 32 GB - Intel(R) Xeon(R) W-10855M CPU @ 2.80GHz - NVIDIA Quadro RTX 3000
Bookmarks