--- gtkgui/MainWindowController.cc.orig Tue Jul 22 16:23:20 2003 +++ gtkgui/MainWindowController.cc Tue Jul 22 16:23:30 2003 @@ -28,7 +28,7 @@ #include -#include +#include // #define DEBUG #include "debug.h"