gdb/tui/tuiCommand.h

#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*/