--- src/page_capture.cc.orig	Thu Apr  1 23:50:01 2004
+++ src/page_capture.cc	Sun Apr 11 00:35:15 2004
@@ -295,6 +295,7 @@
 		}
 		gui_state_was = 0;
 	}
+#if 0
 	else if ( check_phyid == true )
 	{
 		if ( gui_state_was != 1 )
@@ -438,6 +439,7 @@
 			gui_state_was = 3;
 		}
 	}
+#endif
 }
 
 /** Define active widgets.