Sindbad~EG File Manager

void set_andor_display(PDOCDATA);
void SetWindowTitle(HWND hwnd,int currenttopic, char *problem_number, char *source, int sourcetype, char *saveas);
char *get_source(PDOCDATA, int *);
void set_editswitch(int n);
int indexvars(term);
int suppress_graph_button(int graph_flag, int problemtype, term problem);
int OpmenuReady(void);