| 6 | | * '''CONNECT''': establish a connection with the server |
| 7 | | * '''out''': optional connection credentials |
| 8 | | * '''in''': current list of window IDs |
| 9 | | * '''NEW''': open a new process window |
| 10 | | * '''out''': optional command line (otherwise, a new shell is spawned) |
| 11 | | * '''in''': ID of the new window |
| 12 | | * '''BROWSE''': open a process browser window |
| 13 | | * '''in''': ID of the new window |
| 14 | | * '''GRAB''': replace a process browser with the given process |
| 15 | | * '''out''': PID of the process to grab |
| 16 | | * '''KILL''': kill any window |
| 17 | | * '''out''': ID of the window to kill |
| 18 | | * '''DISCONNECT''': close the connection with the server |
| | 6 | * '''`CONNECT`''': establish a connection with the server, with optional connection credentials |
| | 7 | * '''`ATTACH %d`''': attach to window with ID $1 |
| | 8 | * '''`DETACH %d`''': detach from window with ID $1 |
| | 9 | * '''`NEW %s`''': open a new process window, running either a new shell or the optional command line `$1` |
| | 10 | * '''`BROWSE`''': open a process browser window |
| | 11 | * '''`GRAB %d %d`''': grab process `$2` and replace process browser window `$1` with it |
| | 12 | * '''`KILL %d`''': kill window with ID `$1` |
| | 13 | * '''`DISCONNECT`''': close the connection with the server |
| 21 | | * '''KEY''': send a keystroke for a given window |
| 22 | | * '''out''': ID of the window, keystroke information |
| 23 | | * '''MOUSE''': send a mouse event (motion, button press or release) for a given window |
| 24 | | * '''out''': ID of the window, mouse event information |
| 25 | | * '''RESIZE''': send a resize event for a given window |
| 26 | | * '''out''': ID of the window, resize information |
| 27 | | * '''ACTIVE''': set the active refresh area for a given window. |
| 28 | | * '''out''': ID of the window, area information |
| | 16 | * '''`KEY %d ...`''': send one or several keystrokes for window with ID `$1` |
| | 17 | * '''`MOUSE %d ...`''': send a mouse event (motion, button press or release) for window with ID `$1` |
| | 18 | * '''`RESIZE %d ...`''': send a resize event for window with ID `$1` |
| | 19 | * '''`ACTIVE %d ...`''': set the active refresh area for window with ID `$1` |
