Commit 72212862 authored by Tim Steenvoorden's avatar Tim Steenvoorden

add back button during execution

parent a17cadbe
...@@ -28,10 +28,11 @@ Start world = doTasks (editTaskExpr Nothing) world ...@@ -28,10 +28,11 @@ Start world = doTasks (editTaskExpr Nothing) world
editTaskExpr :: (Maybe (DynamicEditorValue TaskExpr)) -> Task (Maybe (DynamicEditorValue TaskExpr)) editTaskExpr :: (Maybe (DynamicEditorValue TaskExpr)) -> Task (Maybe (DynamicEditorValue TaskExpr))
editTaskExpr mv = editTaskExpr mv =
enterOrUpdateExpr ("Contruct a task", info1) mv >?> enterOrUpdateExpr ("Contruct a task", info1) mv >?>
[ ( "Run", const True, \v -> viewInformation ("Evaluate the task", info2) [] () ||- (evalTaskExpr (toValue taskEditor v) <<@ ApplyLayout frameCompact) >?> [ ( "Run", const True, \v -> viewInformation ("Evaluate the task", info2) [] () ||- (evalTaskExpr (toValue taskEditor v) <<@ ApplyLayout frameCompact) >>*
[ ( "Finish", const True, \r -> viewInformation ("Done!", info3) [] r >?> [ OnAction (Action "Back") (always (editTaskExpr (Just v)))
, OnAction (Action "Finish") (ifValue (const True) (\r -> viewInformation ("Done!", info3) [] r >?>
[ ( "Back", const True, \_ -> editTaskExpr (Just v) ) ] [ ( "Back", const True, \_ -> editTaskExpr (Just v) ) ]
) ))
] ]
) )
] ]
......
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