From cb67b008528dc000290d5cbd93816d1ac51cadae Mon Sep 17 00:00:00 2001 From: pboutill Date: Tue, 23 Oct 2012 12:31:21 +0000 Subject: 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 --- ide/coqide_main.ml4 | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'ide/coqide_main.ml4') 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 -- cgit v1.2.3