| 393 | |
| 394 | void toggledoc() { docvisible = !docvisible; } |
| 395 | void scrolldoc(int i) { docskip += i; if(docskip < 0) docskip = 0; } |
| 396 | |
| 397 | int docs_parsecmd(const char *p, const char *pos, const char *w[MAXWORDS], int wl[MAXWORDS], bool outer, int *unmatched) |
| 398 | { |