--- TerminalView.m.orig	2009-08-05 19:28:45.000000000 +0200
+++ TerminalView.m	2010-05-23 09:03:04.000000000 +0200
@@ -70,6 +70,7 @@
 #include <AppKit/NSGraphics.h>
 #include <AppKit/NSScroller.h>
 #include <AppKit/DPSOperators.h>
+#include <AppKit/NSButtonCell.h>
 
 #include "TerminalView.h"