| Line 30... |
Line 30... |
| 30 |
setconsoleoptions(char *fnname,int fnsty, int fnpoints,
|
30 |
setconsoleoptions(char *fnname,int fnsty, int fnpoints,
|
| 31 |
int rows, int cols, int consx, int consy,
|
31 |
int rows, int cols, int consx, int consy,
|
| 32 |
rgb nfg, rgb nufg, rgb nbg, rgb high,
|
32 |
rgb nfg, rgb nufg, rgb nbg, rgb high,
|
| 33 |
int pgr, int pgc, int multiplewindows, int widthonresize,
|
33 |
int pgr, int pgc, int multiplewindows, int widthonresize,
|
| 34 |
int bufbytes, int buflines, int buffered);
|
34 |
int bufbytes, int buflines, int buffered);
|
| 35 |
pager newpager(char *title, char *filename, char *header, int unlinkonexit);
|
35 |
pager newpager(const char *title, const char *filename, const char *header,
|
| - |
|
36 |
int unlinkonexit);
|
| 36 |
console newconsole(char *name, int flags);
|
37 |
console newconsole(char *name, int flags);
|
| 37 |
int consolereads(console c, char *prompt, char *buf, int len,
|
38 |
int consolereads(console c, const char *prompt, char *buf, int len,
|
| 38 |
int addtohistory);
|
39 |
int addtohistory);
|
| 39 |
int consolewrites(console c, const char *s);
|
40 |
int consolewrites(console c, const char *s);
|
| 40 |
int consolecancopy(console c);
|
41 |
int consolecancopy(console c);
|
| 41 |
int consolecanpaste(console c);
|
42 |
int consolecanpaste(console c);
|
| 42 |
void consolecopy(console c);
|
43 |
void consolecopy(console c);
|