1999-04-16 01:35:26 +00:00
|
|
|
#ifndef _TUI_COMMAND_H
|
|
|
|
#define _TUI_COMMAND_H
|
|
|
|
/*
|
1999-07-07 20:19:36 +00:00
|
|
|
** This header file supports
|
|
|
|
*/
|
1999-04-16 01:35:26 +00:00
|
|
|
|
|
|
|
|
|
|
|
/*****************************************
|
|
|
|
** TYPE DEFINITIONS **
|
|
|
|
******************************************/
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*****************************************
|
|
|
|
** PUBLIC FUNCTION EXTERNAL DECLS **
|
|
|
|
******************************************/
|
|
|
|
|
1999-07-07 20:19:36 +00:00
|
|
|
extern unsigned int tuiDispatchCtrlChar PARAMS ((unsigned int));
|
|
|
|
extern int tuiIncrCommandCharCountBy PARAMS ((int));
|
|
|
|
extern int tuiDecrCommandCharCountBy PARAMS ((int));
|
|
|
|
extern int tuiSetCommandCharCountTo PARAMS ((int));
|
|
|
|
extern int tuiClearCommandCharCount PARAMS ((void));
|
1999-04-16 01:35:26 +00:00
|
|
|
|
1999-07-07 20:19:36 +00:00
|
|
|
#endif
|
|
|
|
/*_TUI_COMMAND_H*/
|