begin_full_screen
Grows the application to take over the whole screen, including that occupied by the system menus and task bars. Menus are still accessible (but not visible) in Windows, but not on MacOS.
end_full_screen
window and frame functions
Window_Manager
script set_preferences is if user_wants_full_screen then begin_full_screen else end_full_screen end end