diff -r c96169444d88 -r 34513f76d5a8 ui/gtk/window.c --- a/ui/gtk/window.c Thu Apr 10 11:37:41 2014 +0200 +++ b/ui/gtk/window.c Fri Apr 11 17:02:19 2014 +0200 @@ -28,6 +28,7 @@ #include #include +#include #include "../ui/window.h" #include "../ui/properties.h"