/* Code */
}
-void drawing_area_event_scroll (GtkWidget *widget, GdkEventScroll *event, gpointer user_data)
+/**
+ * The "scroll-event" signal handler. Responsible for correctly scrolling
+ * drawing area.
+ */
+void drawing_area_event_scroll (GtkWidget *widget,
+ GdkEventScroll *event, gpointer user_data)
{
assert(event->type == GDK_SCROLL);