if (BrowserCount == 0) return;
			public void run() {				while (GTK.gtk_events_pending() != 0) {					GTK.gtk_main_iteration();				}				if (BrowserCount == 0) return;				display.timerExec(25, this);					}