equal
deleted
inserted
replaced
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(); |
155 IConsoleResize(w); |
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(void) |
286 void IConsoleResize(Window *w) |
287 { |
287 { |
288 _iconsole_win = FindWindowById(WC_CONSOLE, 0); |
288 assert(_iconsole_win == w); |
289 |
289 |
290 switch (_iconsole_mode) { |
290 switch (_iconsole_mode) { |
291 case ICONSOLE_OPENED: |
291 case ICONSOLE_OPENED: |
292 _iconsole_win->height = _screen.height / 3; |
292 _iconsole_win->height = _screen.height / 3; |
293 _iconsole_win->width = _screen.width; |
293 _iconsole_win->width = _screen.width; |