Commit b7083108 authored by Bas Lijnse's avatar Bas Lijnse

Fixed refresh of selection using shares

parent a62977a6
Pipeline #34612 failed with stage
in 1 minute and 14 seconds
......@@ -155,7 +155,7 @@ editSelectionWithShared` attributes (SelectUsing toView fromView editor) sharedC
= interactRW sharedContainer
{onInit = \r -> Update (toView r, initSel r)
,onEdit = \_ -> Nothing
,onRefresh = \r v -> ((\(_, sel) -> (toView r,sel)) <$> v,Nothing)
,onRefresh = \r v -> (Just (toView r, maybe [] snd v), Nothing)
} (withAttributes attributes editor) @ (\(container,(_,sel)) -> fromView container sel)
editSharedSelection :: ![SelectOption c a] c (Shared sds [Int]) -> Task [a] | iTask c & iTask a & RWShared sds
......
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