<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- src/select-keys.c.orig	2005-06-10 18:19:49.000000000 +0900
+++ src/select-keys.c	2008-11-14 00:55:42.000000000 +0900
@@ -33,6 +33,7 @@
 #include &lt;gtk/gtkscrolledwindow.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/gtklabel.h&gt;
 #include &lt;gtk/gtkentry.h&gt;
</pre></body></html>