diff options
author | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-23 12:31:21 +0000 |
---|---|---|
committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-23 12:31:21 +0000 |
commit | cb67b008528dc000290d5cbd93816d1ac51cadae (patch) | |
tree | 774c0217378f554c53a619224d87d081eb996719 /ide/coqide_main.ml4 | |
parent | 20a488570243507f68fb0fe226effffb3267124f (diff) |
Coqide for Gtk-mac-integration 2.0.0
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15922 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coqide_main.ml4')
-rw-r--r-- | ide/coqide_main.ml4 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4 index b3eee72db..5fa3eccd2 100644 --- a/ide/coqide_main.ml4 +++ b/ide/coqide_main.ml4 @@ -56,7 +56,7 @@ let () = ignore (GtkMain.Main.init ()) IFDEF QUARTZ THEN - let osx = GOSXApplication.osxapplication () + let osx = GosxApplication.osxapplication () let _ = osx#connect#ns_application_open_file ~callback:(fun x -> Coqide.do_load x; true) in @@ -92,11 +92,11 @@ let () = IFDEF QUARTZ THEN let () = - GtkOSXApplication.OSXApplication.set_menu_bar osx#as_osxapplication (GtkMenu.MenuShell.cast (Coqide_ui.ui_m#get_widget "/CoqIde MenuBar")#as_widget) in + GtkosxApplication.Application.set_menu_bar osx#as_osxapplication (GtkMenu.MenuShell.cast (Coqide_ui.ui_m#get_widget "/CoqIde MenuBar")#as_widget) in let () = - GtkOSXApplication.OSXApplication.insert_app_menu_item osx#as_osxapplication (Coqide_ui.ui_m#get_widget "/CoqIde MenuBar/Edit/Prefs")#as_widget 1 in + GtkosxApplication.Application.insert_app_menu_item osx#as_osxapplication (Coqide_ui.ui_m#get_widget "/CoqIde MenuBar/Edit/Prefs")#as_widget 1 in let () = - GtkOSXApplication.OSXApplication.set_help_menu osx#as_osxapplication (Some (GtkMenu.MenuItem.cast (Coqide_ui.ui_m#get_widget "/CoqIde MenuBar/Help")#as_widget)) in + GtkosxApplication.Application.set_help_menu osx#as_osxapplication (Some (GtkMenu.MenuItem.cast (Coqide_ui.ui_m#get_widget "/CoqIde MenuBar/Help")#as_widget)) in osx#ready () END |