Compilation: avoid including a private header for no reason.
Event handling: peek less into GdkEvent.