Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 67930b18 authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

Reload first removes existing tree.

parent ff10a71a
......@@ -442,6 +442,8 @@ module TaskList =
let clear () =
clear_task_selection ();
task_list ##. innerHTML := Js.string "";
selected_task := "0";
Hashtbl.clear printed_task_list;
Editor.set_value ~editor:Editor.task_viewer (Js.string "")
let () =
......@@ -624,7 +626,7 @@ let () =
let () =
ToolBar.(add_action button_reload
(fun () -> PE.printAnswer "Reload"; sendRequest Reload))
(fun () -> PE.printAnswer "Reload"; TaskList.clear (); sendRequest Reload))
let () =
ToolBar.(add_action button_redo
......
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