--- trunk/src/cache.c	2009/11/08 20:32:55	165
+++ trunk/src/cache.c	2009/11/08 20:34:22	166
@@ -787,12 +787,8 @@
 
   page = (gint)g_object_get_data(G_OBJECT(button), "page");
   gtk_notebook_set_current_page(nb, page);
-
- //  gtk_widget_set_state(button, GTK_STATE_ACTIVE);   // or: SELECTED, ACTIVE
- //  gtk_widget_show_all(button);
 }
 
-
 static void notebook_append_page(GtkWidget *notebook, 
 				 GtkWidget *page, char *label) {
 #ifdef CUSTOM_NOTEBOOK