2014-08-19 12:25:52 -05:00
|
|
|
/* 19 august 2014 */
|
|
|
|
|
|
|
|
|
|
extern void beginModal(void);
|
|
|
|
|
extern void endModal(void);
|
|
|
|
|
extern int queueIfModal(void *);
|
|
|
|
|
|
|
|
|
|
/* needed by the above */
|
|
|
|
|
extern void doissue(void *);
|
2014-08-25 20:17:09 -05:00
|
|
|
extern void modalPanic(char *, char *);
|
