why3ide: default session saving policy is 'ask'

parent 0c56437c
......@@ -88,7 +88,7 @@ let default_ide =
ide_show_labels = false;
ide_show_locs = false;
ide_show_time_limit = false;
ide_saving_policy = 0;
ide_saving_policy = 2;
ide_premise_color = "chartreuse";
ide_goal_color = "gold";
ide_error_color = "orange";
......
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