void UIAPI uiflush( void ) /************************/ { uiflushevent(); flushkey(); }
void UIAPI uiflush( void ) { uiflushevent(); flushkey(); }