diff -r 2e384acc89a6 -r 4e0b38bbd6c4 ui/gtk/menu.h
--- a/ui/gtk/menu.h	Sun Nov 19 09:00:16 2017 +0100
+++ b/ui/gtk/menu.h	Sun Nov 19 09:38:23 2017 +0100
@@ -119,8 +119,8 @@
 void ui_update_menuitem_list(UiEvent *event, UiActiveMenuItemList *list);
 void ui_menu_event_wrapper(GtkMenuItem *item, UiEventData *event);
 void ui_menu_event_toggled(GtkCheckMenuItem *ci, UiEventData *event);
-int ui_checkitem_get(UiInteger *i);
-void ui_checkitem_set(UiInteger *i, int value);
+int64_t ui_checkitem_get(UiInteger *i);
+void ui_checkitem_set(UiInteger *i, int64_t value);
 
 #ifdef	__cplusplus
 }