From bfa77b2469d33955c01139389be998d262085cda Mon Sep 17 00:00:00 2001 From: jnarboux Date: Wed, 28 May 2008 10:42:45 +0000 Subject: add support for pdf in coqdoc, add export to pdf in coqide, port open and save as dialogs of coqide to a not deprecated widget, add filtering of *.v files in these dialogs git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11006 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/coqide.ml | 35 +++++++++++++++++++++++------------ 1 file changed, 23 insertions(+), 12 deletions(-) (limited to 'ide/coqide.ml') diff --git a/ide/coqide.ml b/ide/coqide.ml index b27b3f362..9f99a8a6e 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -152,7 +152,6 @@ object('self) method revert : unit method auto_save : unit method save : string -> bool - method save_as : string -> bool method read_only : bool method set_read_only : bool -> unit method is_active : bool @@ -717,7 +716,7 @@ object(self) warning ("Autosave: unexpected error while writing "^fn) end - method save_as f = +(* method save_as f = if Sys.file_exists f then match (GToolbox.question_box ~title:"File exists on disk" ~buttons:["Overwrite"; @@ -733,7 +732,7 @@ object(self) with 1 -> self#save f | _ -> false else self#save f - +*) method set_read_only b = read_only<-b method read_only = read_only method is_active = is_active @@ -1921,10 +1920,19 @@ let main files = | Vector.Found i -> set_current_view i | e -> !flash_info ("Load failed: "^(Printexc.to_string e)) in - let load_m = file_factory#add_item "_Open/Create" + let load_m = file_factory#add_item "_New" + ~key:GdkKeysyms._N in + let load_f () = + match select_file_for_save ~title:"Create file" () with + | None -> () + | Some f -> load f + in + ignore (load_m#connect#activate (load_f)); + + let load_m = file_factory#add_item "_Open" ~key:GdkKeysyms._O in let load_f () = - match select_file ~title:"Load file" () with + match select_file_for_open ~title:"Load file" () with | None -> () | Some f -> load f in @@ -1940,11 +1948,11 @@ let main files = try (match (Option.get current.analyzed_view)#filename with | None -> - begin match GToolbox.select_file ~title:"Save file" () + begin match select_file_for_save ~title:"Save file" () with | None -> () | Some f -> - if (Option.get current.analyzed_view)#save_as f then begin + if (Option.get current.analyzed_view)#save f then begin set_current_tab_label (Filename.basename f); !flash_info ("File " ^ f ^ " saved") end @@ -1968,25 +1976,25 @@ let main files = let current = get_current_view () in try (match (Option.get current.analyzed_view)#filename with | None -> - begin match GToolbox.select_file ~title:"Save file as" () + begin match select_file_for_save ~title:"Save file as" () with | None -> () | Some f -> - if (Option.get current.analyzed_view)#save_as f then begin + if (Option.get current.analyzed_view)#save f then begin set_current_tab_label (Filename.basename f); !flash_info "Saved" end else !flash_info "Save Failed" end | Some f -> - begin match GToolbox.select_file + begin match select_file_for_save ~dir:(ref (Filename.dirname f)) ~filename:(Filename.basename f) ~title:"Save file as" () with | None -> () | Some f -> - if (Option.get current.analyzed_view)#save_as f then begin + if (Option.get current.analyzed_view)#save f then begin set_current_tab_label (Filename.basename f); !flash_info "Saved" end else !flash_info "Save Failed" @@ -2082,7 +2090,7 @@ let main files = let basef_we = try Filename.chop_extension basef with _ -> basef in match kind with | "latex" -> basef_we ^ ".tex" - | "dvi" | "ps" | "html" -> basef_we ^ "." ^ kind + | "dvi" | "ps" | "pdf" | "html" -> basef_we ^ "." ^ kind | _ -> assert false in let cmd = @@ -2107,6 +2115,9 @@ let main files = let _ = file_export_factory#add_item "_Dvi" ~callback:(export_f "dvi") in + let _ = + file_export_factory#add_item "_Pdf" ~callback:(export_f "pdf") + in let _ = file_export_factory#add_item "_Ps" ~callback:(export_f "ps") in -- cgit v1.2.3