8 | | * '''`CONNECT`''': establish a connection with the server, with optional connection credentials |
9 | | * '''`ATTACH %d`''': attach to window with ID $1 |
10 | | * '''`DETACH %d`''': detach from window with ID $1 |
11 | | * '''`NEW %s`''': open a new process window, running either a new shell or the optional command line `$1` |
12 | | * '''`BROWSE`''': open a process browser window |
13 | | * '''`GRAB %d %d`''': grab process `$2` and replace process browser window `$1` with it |
14 | | * '''`KILL %d`''': kill window with ID `$1` |
15 | | * '''`DISCONNECT`''': close the connection with the server |
| 8 | * '''`-> CONNECT`''': establish a connection with the server, with optional connection credentials |
| 9 | * '''`-> ATTACH %d`''': attach to window with ID $1 |
| 10 | * '''`-> DETACH %d`''': detach from window with ID $1 |
| 11 | * '''`-> NEW %s`''': open a new process window, running either a new shell or the optional command line `$1` |
| 12 | * '''`-> BROWSE`''': open a process browser window |
| 13 | * '''`-> GRAB %d %d`''': grab process `$2` and replace process browser window `$1` with it |
| 14 | * '''`-> KILL %d`''': kill window with ID `$1` |
| 15 | * '''`-> DISCONNECT`''': close the connection with the server |
18 | | * '''`KEY %d ...`''': send one or several keystrokes for window with ID `$1` |
19 | | * '''`MOUSE %d ...`''': send a mouse event (motion, button press or release) for window with ID `$1` |
20 | | * '''`RESIZE %d ...`''': send a resize event for window with ID `$1` |
21 | | * '''`ACTIVE %d ...`''': set the active refresh area for window with ID `$1` |
| 18 | * '''`-> KEY %d ...`''': send one or several keystrokes for window with ID `$1` |
| 19 | * '''`-> MOUSE %d ...`''': send a mouse event (motion, button press or release) for window with ID `$1` |
| 20 | * '''`-> RESIZE %d ...`''': send a resize event for window with ID `$1` |
| 21 | * '''`-> ACTIVE %d ...`''': set the active refresh area for window with ID `$1` |
| 22 | |
| 23 | High level server-to-client commands: |
| 24 | * '''`<- WINDOW %d [%d]`''': window with ID `$1` was created (possibly following client request `$2`) |