Increase the script editor font size
Moderator: Klaus
Increase the script editor font size
The hard wired script editor font size limit of 20 pt can be a bit small for comfort for those with poor eyesight.
High resolution screens can be an issue if you don't want the OS to set the scale too high.
On a QHD monitor I like to use a 22 point font in Livecode 8.
The script below replaces the IDE font size menu dropdown and gives a choice of 19 to 24 pt.
For some reason trying to replace the default range with a range of 8 to 24 causes the menu dropdown in the LC IDE to freeze and be unusable.
Plugin works for me on windows 10 in LC 5.5.5 and LC 8.1, should work in other versions.
Haven't tried it on MacOS or linux but it should work ok.
------- Script on plugin stack, will also work on a button ----
local moresizes
on openStack
repeat with i = 19 to 24
put i & cr after moresizes
end repeat
delete the last char of moresizes -- remove trailing CR
put moresizes into btn id 1147 of stack "revPreferencesGUI"
end openStack
--------------------------------------------------
Attached is the plugin I use.
Drop the plugin into your plugins folder and it should work ok.
cheers
Paul
High resolution screens can be an issue if you don't want the OS to set the scale too high.
On a QHD monitor I like to use a 22 point font in Livecode 8.
The script below replaces the IDE font size menu dropdown and gives a choice of 19 to 24 pt.
For some reason trying to replace the default range with a range of 8 to 24 causes the menu dropdown in the LC IDE to freeze and be unusable.
Plugin works for me on windows 10 in LC 5.5.5 and LC 8.1, should work in other versions.
Haven't tried it on MacOS or linux but it should work ok.
------- Script on plugin stack, will also work on a button ----
local moresizes
on openStack
repeat with i = 19 to 24
put i & cr after moresizes
end repeat
delete the last char of moresizes -- remove trailing CR
put moresizes into btn id 1147 of stack "revPreferencesGUI"
end openStack
--------------------------------------------------
Attached is the plugin I use.
Drop the plugin into your plugins folder and it should work ok.
cheers
Paul
- Attachments
-
- revFontSizer.zip
- (560 Bytes) Downloaded 205 times
Last edited by paul_gr on Thu Mar 08, 2018 6:32 pm, edited 1 time in total.
-
- Livecode Opensource Backer
- Posts: 10073
- Joined: Fri Feb 19, 2010 10:17 am
Re: Increase the script editor font size
You can edit the dropDown button "Font Size" on the card "Script Editor"in the LC Preferences
(revPreferencesGUI) but this seems to be incapable of being saved.
A while back LiveCode rejigged their "thing" in such a way that it was no longer possible to save modifications to the GUI: which is "a great pity" [substitute vulgar phrase here].
(revPreferencesGUI) but this seems to be incapable of being saved.
A while back LiveCode rejigged their "thing" in such a way that it was no longer possible to save modifications to the GUI: which is "a great pity" [substitute vulgar phrase here].
-
- Livecode Opensource Backer
- Posts: 10073
- Joined: Fri Feb 19, 2010 10:17 am
Re: Increase the script editor font size
HOWEVER; by saving the revPreferencesGUI stack as an external stack renamed to "RPG" one can
modify it, and then use it as your Preferences palette: script sizes now "stick".
Be careful, my modified stack may curdle your milk and drive your cows mad
modify it, and then use it as your Preferences palette: script sizes now "stick".
Be careful, my modified stack may curdle your milk and drive your cows mad

Re: Increase the script editor font size
That would depend on your perspective. It's saved my butt more than once when I've entered commands in the message box and accidentally altered the message box instead of my working stack.A while back LiveCode rejigged their "thing" in such a way that it was no longer possible to save modifications to the GUI: which is "a great pity" [substitute vulgar phrase here].
Most likely the IDE has cantModify set for its own stacks, but changing the prefs is a better solution because that will persist through any updates.
Jacqueline Landman Gay | jacque at hyperactivesw dot com
HyperActive Software | http://www.hyperactivesw.com
HyperActive Software | http://www.hyperactivesw.com
Re: Increase the script editor font size
Thanks Richmond,richmond62 wrote: ↑Thu Mar 08, 2018 9:29 amHOWEVER; by saving the revPreferencesGUI stack as an external stack renamed to "RPG" one can
modify it, and then use it as your Preferences palette: script sizes now "stick".
It's always good to see different ways of making LC do what we want it to.
Paul
Last edited by paul_gr on Thu Mar 08, 2018 7:51 pm, edited 1 time in total.
-
- Livecode Opensource Backer
- Posts: 10073
- Joined: Fri Feb 19, 2010 10:17 am
Re: Increase the script editor font size
Who's "Richard" . . . 'Pavel'?Thanks Richard

Re: Increase the script editor font size
Sorry Richmond, I should know by now.
I've only been here 11 years

Paul
-
- Livecode Opensource Backer
- Posts: 10073
- Joined: Fri Feb 19, 2010 10:17 am
Re: Increase the script editor font size
Not a real problem, Paul: just a lovely excuse to pull your leg 

Re: Increase the script editor font size
It is ok Klaus...

What Jacque, you don't like your message box with 3 arms, 5 legs, and 62 eyes?jacque wrote: ↑Thu Mar 08, 2018 5:58 pmThat would depend on your perspective. It's saved my butt more than once when I've entered commands in the message box and accidentally altered the message box instead of my working stack.A while back LiveCode rejigged their "thing" in such a way that it was no longer possible to save modifications to the GUI: which is "a great pity" [substitute vulgar phrase here].

Now THAT ONE I can tell you how to change RichmondMost likely the IDE has cantModify set for its own stacks, but changing the prefs is a better solution because that will persist through any updates.


-
- Livecode Opensource Backer
- Posts: 10073
- Joined: Fri Feb 19, 2010 10:17 am
Re: Increase the script editor font size
I'm starting to get worried.I can tell you how to change Richmond

Re: Increase the script editor font size
You SHOULD berichmond62 wrote: ↑Mon Feb 08, 2021 11:20 amI'm starting to get worried.I can tell you how to change Richmond![]()



