console.c
changeset 5126 d87bd8d5e159
parent 5120 e12dfc67761f
child 5137 a1f26c30fecd
--- a/console.c	Sat Nov 18 17:04:44 2006 +0000
+++ b/console.c	Sat Nov 18 17:07:05 2006 +0000
@@ -152,7 +152,7 @@
 					break;
 				case WKC_CTRL | WKC_RETURN:
 					_iconsole_mode = (_iconsole_mode == ICONSOLE_FULL) ? ICONSOLE_OPENED : ICONSOLE_FULL;
-					IConsoleResize();
+					IConsoleResize(w);
 					MarkWholeScreenDirty();
 					break;
 				case (WKC_CTRL | 'V'):
@@ -283,9 +283,9 @@
 	CloseConsoleLogIfActive();
 }
 
-void IConsoleResize(void)
+void IConsoleResize(Window *w)
 {
-	_iconsole_win = FindWindowById(WC_CONSOLE, 0);
+	assert(_iconsole_win == w);
 
 	switch (_iconsole_mode) {
 		case ICONSOLE_OPENED: