main_gui.c
changeset 682 74c70f645d95
parent 679 04ca2cd69420
child 697 eaada71b7c85
--- a/main_gui.c	Wed Dec 15 22:50:20 2004 +0000
+++ b/main_gui.c	Wed Dec 15 23:33:04 2004 +0000
@@ -888,7 +888,7 @@
 			break;
 		case WC_EXTRA_VIEW_PORT:
 			wt = FindWindowById(WC_EXTRA_VIEW_PORT, w->window_number);
-			button = 4;
+			button = 5;
 			break;
 		}