diff --git a/lib/widget/widget-common.c b/lib/widget/widget-common.c
index e2808317f..821b7b316 100644
--- a/lib/widget/widget-common.c
+++ b/lib/widget/widget-common.c
@@ -262,7 +262,7 @@ hotkey_equal (const hotkey_t hotkey1, const hotkey_t hotkey2)
 /* --------------------------------------------------------------------------------------------- */
 
 void
-hotkey_draw (Widget * w, const hotkey_t hotkey, gboolean focused)
+hotkey_draw (const Widget * w, const hotkey_t hotkey, gboolean focused)
 {
     if (hotkey.start[0] != '\0')
     {
diff --git a/lib/widget/widget-common.h b/lib/widget/widget-common.h
index 519469fbf..19acec11d 100644
--- a/lib/widget/widget-common.h
+++ b/lib/widget/widget-common.h
@@ -198,7 +198,7 @@ int hotkey_width (const hotkey_t hotkey);
 /* compare two hotkeys */
 gboolean hotkey_equal (const hotkey_t hotkey1, const hotkey_t hotkey2);
 /* draw hotkey of widget */
-void hotkey_draw (Widget * w, const hotkey_t hotkey, gboolean focused);
+void hotkey_draw (const Widget * w, const hotkey_t hotkey, gboolean focused);
 /* get text of hotkey */
 char *hotkey_get_text (const hotkey_t hotkey);