diff options
author | 2012-04-27 16:43:30 +0000 | |
---|---|---|
committer | 2012-04-27 16:43:30 +0000 | |
commit | daf719e5554e823b6540be05e48e96ac478e2865 (patch) | |
tree | 3e575c857c5c86935da78b9fcbf2ccbfa7ac2202 /ide/ide_mac_stubs.c | |
parent | 591aefbf015cf30912bf5ade76feb000bb12cdd5 (diff) |
Coqide MacOS integration refresh
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15254 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/ide_mac_stubs.c')
-rw-r--r-- | ide/ide_mac_stubs.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/ide/ide_mac_stubs.c b/ide/ide_mac_stubs.c index 64deb71d0..2aeb2bf42 100644 --- a/ide/ide_mac_stubs.c +++ b/ide/ide_mac_stubs.c @@ -8,7 +8,7 @@ #include <lablgtk2/wrappers.h> #include <lablgtk2/ml_glib.h> #include <lablgtk2/ml_gobject.h> -#include <igemacintegration/gtkosxapplication.h> +#include <gtkmacintegration/gtkosxapplication.h> GtkOSXApplication *theApp; value open_file_fun, forbid_quit_fun, themenubar, pref_item, about_item; @@ -76,10 +76,10 @@ CAMLprim value caml_gtk_mac_ready(value menubar, value prefs, value about) caml_register_generational_global_root(&about_item); /* gtk_accel_map_foreach(NULL, osx_accel_map_foreach_lcb);*/ gtk_osxapplication_set_menu_bar(theApp,check_cast(GTK_MENU_SHELL,themenubar)); - about_grp = gtk_osxapplication_add_app_menu_group(theApp); - pref_grp = gtk_osxapplication_add_app_menu_group(theApp); - gtk_osxapplication_add_app_menu_item(theApp,about_grp,check_cast(GTK_MENU_ITEM,about_item)); - gtk_osxapplication_add_app_menu_item(theApp,pref_grp,check_cast(GTK_MENU_ITEM,pref_item)); + gtk_osxapplication_insert_app_menu_item(theApp,check_cast(GTK_WIDGET,about_item),1); + gtk_osxapplication_insert_app_menu_item(theApp,gtk_separator_menu_item_new(),2); + gtk_osxapplication_insert_app_menu_item(theApp,check_cast(GTK_WIDGET,pref_item),3); + gtk_osxapplication_insert_app_menu_item(theApp,gtk_separator_menu_item_new(),4); gtk_osxapplication_ready(theApp); CAMLreturn(Val_unit); } |