Commit ecdf65f6 authored by Steffen Michels's avatar Steffen Michels

fix size attribute of map in leaflet map example

parent 76f62e1d
Pipeline #28350 passed with stage
in 5 minutes and 12 seconds
......@@ -15,7 +15,7 @@ playWithMaps = withShared ({defaultValue & icons = shipIcons},defaultValue) (\m
derive gDefault LeafletSimpleState, LeafletObjectID
manipulateMap :: (Shared sds (LeafletMap,LeafletSimpleState)) -> Task () | RWShared sds
manipulateMap m = updateSharedInformation [UpdateSharedUsing id (flip const) const (customLeafletEditor eventHandlers defaultValue)] m
<<@ ApplyLayout (layoutSubUIs (SelectByPath [1]) (setUIAttributes (sizeAttr FlexSize FlexSize))) @! ()
<<@ ApplyLayout (setUIAttributes (sizeAttr FlexSize FlexSize)) @! ()
where
eventHandlers = {simpleStateEventHandlers & onHtmlEvent = onHtmlEvent}
......
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