Index: gtknotebook.c
===================================================================
RCS file: /cvs/gnome/gtk+/gtk/gtknotebook.c,v
retrieving revision 1.140
diff -u -p -u -r1.140 gtknotebook.c
--- gtknotebook.c	10 Oct 2002 23:42:54 -0000	1.140
+++ gtknotebook.c	15 Oct 2002 18:45:32 -0000
@@ -3545,6 +3545,8 @@ gtk_notebook_real_switch_page (GtkNotebo
 			       GtkNotebookPage *page,
 			       guint            page_num)
 {
+  GList *list;
+  
   g_return_if_fail (GTK_IS_NOTEBOOK (notebook));
   g_return_if_fail (page != NULL);
 
@@ -3575,6 +3577,16 @@ gtk_notebook_real_switch_page (GtkNotebo
       else
 	if (!gtk_widget_child_focus (notebook->cur_page->child, GTK_DIR_TAB_FORWARD))
 	  gtk_widget_grab_focus (GTK_WIDGET (notebook));
+    }
+
+  for (list = notebook->children; list != NULL; list = list->next)
+    {
+      GtkNotebookPage *pg = list->data;
+
+      if (pg == notebook->cur_page)
+	gtk_widget_set_state (pg->tab_label, GTK_STATE_NORMAL);
+      else
+	gtk_widget_set_state (pg->tab_label, GTK_STATE_ACTIVE);
     }
   
   gtk_widget_queue_resize (GTK_WIDGET (notebook));
