--- a/ui/gtk/graphics.c	Wed Jan 27 20:55:37 2016 +0100
+++ b/ui/gtk/graphics.c	Fri Jan 29 18:48:56 2016 +0100
@@ -88,8 +88,8 @@
         *width = gtk_widget_get_allocated_width(drawingarea);
         *height = gtk_widget_get_allocated_height(drawingarea);
 #else
-        *width = widget->allocation.width;
-        *height = widget->allocation.height;
+        *width = drawingarea->allocation.width;
+        *height = drawingarea->allocation.height;
 #endif
 }