Domain/OS calls: punch_$
Wall-punch handler
The wall-punch handler was a project started just before the HP takeover. It
was abandoned unfinished, though the low-level interface is still there. It
was involved with running an Apollo display in "Zaphod" mode, with two (or
more?) virtual screens next to each other. If one moved the mouse off the edge
of a screen "hard" enough, it would "punch through" to the other screen.
One of these days maybe I'll see if I can use this with the borrow-mode X
server, or maybe use the window manager facilites to do VUE-like virtual
screens (which I do with keys, now).
- punch_$clear
- punch_$define_entry_exit_pair
- punch_$inq_entry_regions
- punch_$inq_exit_point
- punch_$inq_exit_region
- punch_$undefine_entry_exit_pair