Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

Commit 375a10b9 authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

Task do not disappear when right clicking

parent 3c88c175
......@@ -474,17 +474,16 @@ let onclick_do_something id =
select_task id span pretty
end;
Js._false);
let pretty =
if Hashtbl.mem printed_task_list id then
Hashtbl.find printed_task_list id
else
(sendRequest (Get_task id);
"loading task")
in
addMouseEventListener
true span "contextmenu"
(fun e ->
clear_task_selection ();
let pretty =
if Hashtbl.mem printed_task_list id then
Hashtbl.find printed_task_list id
else
(sendRequest (Get_task id); "")
in
select_task id span pretty;
let x = max 0 ((e ##.clientX) - 2) in
let y = max 0 ((e ##.clientY) - 2) in
......@@ -533,7 +532,8 @@ let interpNotif (n: notification) =
PE.printAnswer "Initialized"
| New_node (nid, parent, ntype, name, detached) ->
TaskList.attach_new_node nid parent ntype name detached;
TaskList.onclick_do_something (string_of_int nid)
TaskList.onclick_do_something (string_of_int nid);
sendRequest (Get_task (string_of_int nid))
| Task (nid, task) ->
Hashtbl.add TaskList.printed_task_list (string_of_int nid) task
| Remove nid ->
......
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