1999-04-16 03:35:26 +02:00
|
|
|
#ifndef _TUI_COMMAND_H
|
|
|
|
#define _TUI_COMMAND_H
|
|
|
|
/*
|
1999-07-07 22:19:36 +02:00
|
|
|
** This header file supports
|
|
|
|
*/
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
|
|
|
|
|
|
/*****************************************
|
|
|
|
** TYPE DEFINITIONS **
|
|
|
|
******************************************/
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*****************************************
|
|
|
|
** PUBLIC FUNCTION EXTERNAL DECLS **
|
|
|
|
******************************************/
|
|
|
|
|
2000-05-28 03:12:42 +02:00
|
|
|
extern unsigned int tuiDispatchCtrlChar (unsigned int);
|
|
|
|
extern int tuiIncrCommandCharCountBy (int);
|
|
|
|
extern int tuiDecrCommandCharCountBy (int);
|
|
|
|
extern int tuiSetCommandCharCountTo (int);
|
|
|
|
extern int tuiClearCommandCharCount (void);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
#endif
|
|
|
|
/*_TUI_COMMAND_H*/
|