Toggle fullscreen.
Toggle fullscreen, bound to <F11> by default.
This is predicated on having the texts all in one window (Oberon style or some other way), or maybe they each get their own window in non-fullscreen mode?
This is (once again) the responsibility of the window manager.
Toggle fullscreen, bound to <F11> by default.
This is predicated on having the texts all in one window (Oberon style or some other way), or maybe they each get their own window in non-fullscreen mode?