--- src/qt_qt_wrapper.cpp.orig	2005-07-23 16:31:42.231533865 +0200
+++ src/qt_qt_wrapper.cpp	2005-07-23 16:27:19.100760908 +0200
@@ -1408,7 +1408,8 @@
 	int sdiff = 10000, pos = -1, diff = 1;
 	for ( int i = 0; i < g_list_length(notebook->children); i++ )
 	{
-		diff = gtk_notebook_get_tab_label(notebook,gtk_notebook_get_nth_page(notebook,i))->allocation.x - x;
+		GtkWidget *tab_label=gtk_notebook_get_tab_label(notebook,gtk_notebook_get_nth_page(notebook,i));
+		if (tab_label) diff = tab_label->allocation.x - x;
 		if ((diff > 0) && (diff < sdiff))
 		{
 			sdiff = diff; pos = i;