console.c
changeset 169 4081f1d1f393
parent 141 29cc31c87ede
child 176 84990c4b9212
equal deleted inserted replaced
168:79f9ed5b23e6 169:4081f1d1f393
    96 				GfxFillRect(posx,posy,posx+5,posy+1,color);
    96 				GfxFillRect(posx,posy,posx+5,posy+1,color);
    97 				_video_driver->make_dirty(posx,posy,5,1);
    97 				_video_driver->make_dirty(posx,posy,5,1);
    98 			}
    98 			}
    99 			_icursor_counter=0;			
    99 			_icursor_counter=0;			
   100 			}
   100 			}
       
   101 		break;
       
   102 
       
   103 	case WE_DESTROY:
       
   104 		_iconsole_win=NULL;
       
   105 		_iconsole_mode=ICONSOLE_CLOSED;
   101 		break;
   106 		break;
   102 
   107 
   103 	case WE_KEYPRESS:
   108 	case WE_KEYPRESS:
   104 		e->keypress.cont=false;
   109 		e->keypress.cont=false;
   105 		if (e->keypress.keycode == (WKC_UP))
   110 		if (e->keypress.keycode == (WKC_UP))
   331 
   336 
   332 if (_iconsole_win!=NULL) SetWindowDirty(_iconsole_win);
   337 if (_iconsole_win!=NULL) SetWindowDirty(_iconsole_win);
   333 }
   338 }
   334 
   339 
   335 
   340 
   336 void IConsolePrintF(byte color_code, const char *s, ...)
   341 void CDECL IConsolePrintF(byte color_code, const char *s, ...)
   337 {
   342 {
   338 	va_list va;
   343 	va_list va;
   339 	char buf[1024];
   344 	char buf[1024];
   340 	va_start(va, s);
   345 	va_start(va, s);
   341 	vsprintf(buf, s, va);
   346 	vsprintf(buf, s, va);