Commit 230c01c5 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Include default editor when saving preferences (fix issue #162).

parent f69ee31e
......@@ -240,7 +240,10 @@ let save_config t =
let time = Whyconf.timelimit new_main in
let mem = Whyconf.memlimit new_main in
let nb = Whyconf.running_provers_max new_main in
let config = set_main config (set_limits (get_main config) time mem nb) in
let main = get_main config in
let main = set_limits main time mem nb in
let main = set_default_editor main (Whyconf.default_editor new_main) in
let config = set_main config main in
(* copy also provers section since it may have changed (the editor
can be set via the preferences dialog) *)
let config = set_provers config (get_provers t.config) in
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment