#ifndef _TUI_COMMAND_H
#define _TUI_COMMAND_H
/*
** This header file supports
*/


/*****************************************
** TYPE DEFINITIONS                        **
******************************************/



/*****************************************
** PUBLIC FUNCTION EXTERNAL DECLS        **
******************************************/

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));

#endif /*_TUI_COMMAND_H*/