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(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; |