diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-08-16 01:29:07 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-08-16 03:53:40 +0200 |
commit | 5a90c69f8e4699f205ec3e59cfd49ad9fb9f6f87 (patch) | |
tree | 9d31cb58d1c6166beec1757668e73ad5d794b0d6 /ide/ideutils.ml | |
parent | 2c70dd6a256ed4cac2b74bd0c8719ab37fffcb84 (diff) |
Turning CoqIDE preferences into new style.
Some old style references remain because all type converters are not
implemented yet.
Diffstat (limited to 'ide/ideutils.ml')
-rw-r--r-- | ide/ideutils.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ide/ideutils.ml b/ide/ideutils.ml index 5892fb3d9..3c5a551c1 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -140,7 +140,7 @@ let filter_coq_files () = GFile.filter ~name:"Coq source code" ~patterns:[ "*.v"] () -let current_dir () = match current.project_path with +let current_dir () = match project_path#get with | None -> "" | Some dir -> dir @@ -164,7 +164,7 @@ let select_file_for_open ~title ?filename () = match file_chooser#filename with | None -> None | Some _ as f -> - current.project_path <- file_chooser#current_folder; f + project_path#set file_chooser#current_folder; f end | `DELETE_EVENT | `CANCEL -> None in file_chooser#destroy (); @@ -193,7 +193,7 @@ let select_file_for_save ~title ?filename () = file := file_chooser#filename; match !file with None -> () - | Some s -> current.project_path <- file_chooser#current_folder + | Some s -> project_path#set file_chooser#current_folder end | `DELETE_EVENT | `CANCEL -> () end ; @@ -238,7 +238,7 @@ let coqtop_path () = let file = match !custom_coqtop with | Some s -> s | None -> - match current.cmd_coqtop with + match cmd_coqtop#get with | Some s -> s | None -> let prog = String.copy Sys.executable_name in |