--- a/pan/gui/prefs-ui.cc	2012-01-21 15:43:56.000000000 +0100
+++ b/pan/gui/prefs-ui.cc	2012-01-22 15:21:58.000000000 +0100
@@ -726,7 +726,7 @@
 
   GtkWidget * notebook = gtk_notebook_new ();
 
-  gtk_notebook_set_homogeneous_tabs (GTK_NOTEBOOK(notebook), true);
+  //gtk_notebook_set_homogeneous_tabs (GTK_NOTEBOOK(notebook), true);
   gtk_notebook_set_scrollable (GTK_NOTEBOOK(notebook), true);
 
   // Behavior