console.c
changeset 5137 54425dc8b5b3
parent 5126 9084bb06e52e
child 5143 43f7b9457827
--- a/console.c	Sun Nov 19 22:11:04 2006 +0000
+++ b/console.c	Sun Nov 19 22:24:18 2006 +0000
@@ -152,7 +152,7 @@
 					break;
 				case WKC_CTRL | WKC_RETURN:
 					_iconsole_mode = (_iconsole_mode == ICONSOLE_FULL) ? ICONSOLE_OPENED : ICONSOLE_FULL;
-					IConsoleResize(w);
+					IConsoleResize();
 					MarkWholeScreenDirty();
 					break;
 				case (WKC_CTRL | 'V'):
@@ -283,10 +283,8 @@
 	CloseConsoleLogIfActive();
 }
 
-void IConsoleResize(Window *w)
+void IConsoleResize(void)
 {
-	assert(_iconsole_win == w);
-
 	switch (_iconsole_mode) {
 		case ICONSOLE_OPENED:
 			_iconsole_win->height = _screen.height / 3;