console.c
changeset 5137 a1f26c30fecd
parent 5126 d87bd8d5e159
child 5143 a78072872bff
equal deleted inserted replaced
5136:e6f1857961aa 5137:a1f26c30fecd
   150 					IConsoleCmdExec(_iconsole_cmdline.buf);
   150 					IConsoleCmdExec(_iconsole_cmdline.buf);
   151 					IConsoleClearCommand();
   151 					IConsoleClearCommand();
   152 					break;
   152 					break;
   153 				case WKC_CTRL | WKC_RETURN:
   153 				case WKC_CTRL | WKC_RETURN:
   154 					_iconsole_mode = (_iconsole_mode == ICONSOLE_FULL) ? ICONSOLE_OPENED : ICONSOLE_FULL;
   154 					_iconsole_mode = (_iconsole_mode == ICONSOLE_FULL) ? ICONSOLE_OPENED : ICONSOLE_FULL;
   155 					IConsoleResize(w);
   155 					IConsoleResize();
   156 					MarkWholeScreenDirty();
   156 					MarkWholeScreenDirty();
   157 					break;
   157 					break;
   158 				case (WKC_CTRL | 'V'):
   158 				case (WKC_CTRL | 'V'):
   159 					if (InsertTextBufferClipboard(&_iconsole_cmdline)) {
   159 					if (InsertTextBufferClipboard(&_iconsole_cmdline)) {
   160 						IConsoleResetHistoryPos();
   160 						IConsoleResetHistoryPos();
   281 	_iconsole_inited = false;
   281 	_iconsole_inited = false;
   282 	IConsoleClear();
   282 	IConsoleClear();
   283 	CloseConsoleLogIfActive();
   283 	CloseConsoleLogIfActive();
   284 }
   284 }
   285 
   285 
   286 void IConsoleResize(Window *w)
   286 void IConsoleResize(void)
   287 {
   287 {
   288 	assert(_iconsole_win == w);
       
   289 
       
   290 	switch (_iconsole_mode) {
   288 	switch (_iconsole_mode) {
   291 		case ICONSOLE_OPENED:
   289 		case ICONSOLE_OPENED:
   292 			_iconsole_win->height = _screen.height / 3;
   290 			_iconsole_win->height = _screen.height / 3;
   293 			_iconsole_win->width = _screen.width;
   291 			_iconsole_win->width = _screen.width;
   294 			break;
   292 			break;