Commit 8d766aab authored by Steffen Michels's avatar Steffen Michels

task value of interaction task after onRefresh is determined by editor

parent ff1fa23b
Pipeline #28969 failed with stage
in 2 minutes and 30 seconds
......@@ -165,17 +165,18 @@ evalInteract l v st mode sds handlers editor writefun event=:(RefreshEvent taskI
# (l, v, mbf) = handlers.InteractionHandlers.onRefresh r l v
= case withVSt taskId (editor.Editor.onRefresh [] v st) iworld of
(Error e, iworld) = (ExceptionResult (exception e), iworld)
(Ok (change, st), iworld)
(Ok (change, st), iworld)
# v = editor.Editor.valueFromState st
= case mbf of
Just f = writefun f sds NoValue (\_->change)
(\_->evalInteract l (Just v) st mode sds handlers editor writefun)
(\_->evalInteract l v st mode sds handlers editor writefun)
event evalOpts iworld
Nothing
= (ValueResult
(Value (l, v) False)
(maybe NoValue (\v -> Value (l, v) False) v)
(mkTaskEvalInfo lastEval)
change
(Task (evalInteract l (Just v) st mode sds handlers editor writefun))
(Task (evalInteract l v st mode sds handlers editor writefun))
, iworld)
)
event evalOpts iworld
......
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