void do_help (void); /* box editor help */ void redraw (char *edscreen,int sx, /* redraw editor lines */ int sy, int wid, int lines); /* (internal use) */ int edit (char *edscreen, char *colormap, /* editor-in-a-box */ int sx, int sy, int *px, int *py, int wid, int lines);