ui/gtk/menu.h

changeset 148
4e0b38bbd6c4
parent 140
c03c338a7dcf
child 157
0b33b9396851
--- 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
 }

mercurial