117 void add_menuitem_list_widget(GtkWidget *p, int i, UiMenuItemI *item, UiObject *obj); |
117 void add_menuitem_list_widget(GtkWidget *p, int i, UiMenuItemI *item, UiObject *obj); |
118 |
118 |
119 void ui_update_menuitem_list(UiEvent *event, UiActiveMenuItemList *list); |
119 void ui_update_menuitem_list(UiEvent *event, UiActiveMenuItemList *list); |
120 void ui_menu_event_wrapper(GtkMenuItem *item, UiEventData *event); |
120 void ui_menu_event_wrapper(GtkMenuItem *item, UiEventData *event); |
121 void ui_menu_event_toggled(GtkCheckMenuItem *ci, UiEventData *event); |
121 void ui_menu_event_toggled(GtkCheckMenuItem *ci, UiEventData *event); |
122 int ui_checkitem_get(UiInteger *i); |
122 int64_t ui_checkitem_get(UiInteger *i); |
123 void ui_checkitem_set(UiInteger *i, int value); |
123 void ui_checkitem_set(UiInteger *i, int64_t value); |
124 |
124 |
125 #ifdef __cplusplus |
125 #ifdef __cplusplus |
126 } |
126 } |
127 #endif |
127 #endif |
128 |
128 |