set_scaling (name: STRING; percent: INTEGER)
Sets the scaling for frame name as a percentage. The scaling only affects the named frame; frames nested inside this frame remain at 100% scaling.
window and frame functions
Frame Manager
script set_preferences is if user_wants_big_fonts then set_scaling ('main_window_frame', 120) else set_scaling ('main_window_frame', 100) end end