<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- src/prefs_summary_column.c.orig	2005-11-01 19:38:09.000000000 +0900
+++ src/prefs_summary_column.c	2008-11-14 00:55:39.000000000 +0900
@@ -30,6 +30,7 @@
 #include &lt;gtk/gtkwindow.h&gt;
 #include &lt;gtk/gtkvbox.h&gt;
 #include &lt;gtk/gtkhbox.h&gt;
+#include &lt;gtk/gtkctree.h&gt;
 #include &lt;gtk/gtkclist.h&gt;
 #include &lt;gtk/gtkbutton.h&gt;
 #include &lt;gtk/gtkstock.h&gt;
</pre></body></html>