diff options
author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2017-06-09 20:56:54 +0100 |
---|---|---|
committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2017-06-10 12:54:57 +0100 |
commit | 63d53938f106541a68b3ed32103e7088649e5d8d (patch) | |
tree | b6d9d083fd106a9cfce9bdfef47bcdb1c5d01159 /docs | |
parent | 1d31402dcb0e056b5e66a243c5a02c28596d8684 (diff) | |
download | netsurf-63d53938f106541a68b3ed32103e7088649e5d8d.tar.gz netsurf-63d53938f106541a68b3ed32103e7088649e5d8d.tar.bz2 |
Include time in GENERIC POLL TIMED
Diffstat (limited to 'docs')
-rw-r--r-- | docs/using-monkey.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/using-monkey.md b/docs/using-monkey.md index 33e504239..53f912e4d 100644 --- a/docs/using-monkey.md +++ b/docs/using-monkey.md @@ -143,9 +143,12 @@ Responses a window. GENERIC POLL BLOCKING + GENERIC POLL TIMED nnnn Monkey reached a point where it could sleep waiting for commands or scheduled timeouts. No fetches nor redraws - were pending. + were pending. If there are no timeouts or other pending + jobs then this will be a BLOCKING poll, otherwise the number + given is in milliseconds. Window messages --------------- |