cursor change while hovering header widget

1 files changed, 5 insertions, 0 deletions

diff --git a/callbacks.h b/callbacks.h
index 1efce62e..6f7e6007 100644
--- a/callbacks.h
+++ b/callbacks.h
@@ -218,3 +218,8 @@ on_header_configure_event              (GtkWidget       *widget,
 void
 on_header_realize                      (GtkWidget       *widget,
                                         gpointer         user_data);
+
+gboolean
+on_header_motion_notify_event          (GtkWidget       *widget,
+                                        GdkEventMotion  *event,
+                                        gpointer         user_data);