@@ -37,7 +37,7 @@ w = do
37 _ <- widgetHold (text "Starting") $ text . T.pack . show <$> n
37 _ <- widgetHold (text "Starting") $ text . T.pack . show <$> n
40− {- Many dyns
40+-- {- Many dyns
41 slow = elAttr "div" ("style" =: "position:relative;width:256px;height:256px") $ go maxDepth
41 slow = elAttr "div" ("style" =: "position:relative;width:256px;height:256px") $ go maxDepth
42 where maxDepth = 6 :: Int
42 where maxDepth = 6 :: Int
43 go 0 = blank
43 go 0 = blank
@@ -48,7 +48,7 @@ w = do
48 elAttr "div" ("style" =: s "left:50%;right:0;top:0;bottom:50%") $ go $ pred n
48 elAttr "div" ("style" =: s "left:50%;right:0;top:0;bottom:50%") $ go $ pred n
49 elAttr "div" ("style" =: s "left:50%;right:0;top:50%;bottom:0") $ go $ pred n
49 elAttr "div" ("style" =: s "left:50%;right:0;top:50%;bottom:0") $ go $ pred n
50 elAttr "div" ("style" =: s "left:0;right:50%;top:50%;bottom:0") $ go $ pred n
50 elAttr "div" ("style" =: s "left:0;right:50%;top:50%;bottom:0") $ go $ pred n
52 {- Many elDynAttrs
52 {- Many elDynAttrs
54 let size = 64
54 let size = 64
@@ -94,6 +94,7 @@ w = do
94 traverseDMapWithKeyWithAdjustWithMove f (DMap.singleton LeftTag $ Const2 ()) $ (PatchDMapWithMove.moveDMapKey LeftTag RightTag) <$ postBuild
94 traverseDMapWithKeyWithAdjustWithMove f (DMap.singleton LeftTag $ Const2 ()) $ (PatchDMapWithMove.moveDMapKey LeftTag RightTag) <$ postBuild
98 let h x = do
99 let h x = do
99 liftIO $ putStrLn "render hook"
100 liftIO $ putStrLn "render hook"
@@ -110,11 +111,11 @@ w = do
110 postBuild <- getPostBuild
111 postBuild <- getPostBuild
111 _ <- traverseDMapWithKeyWithAdjust f mempty $ PatchDMap (DMap.singleton (Const2 () :: Const2 () () ()) (ComposeMaybe $ Just $ Identity ())) <$ postBuild
112 _ <- traverseDMapWithKeyWithAdjust f mempty $ PatchDMap (DMap.singleton (Const2 () :: Const2 () () ()) (ComposeMaybe $ Just $ Identity ())) <$ postBuild
112 return ()
113 return ()
113 el "div" $ do
115 el "div" $ do
114 draw <- button "Draw"
116 draw <- button "Draw"
115 widgetHold blank $ ffor draw $ \_ -> do
117 widgetHold blank $ ffor draw $ \_ -> do
116− postBuild <- getPostBuild
117− widgetHold (text "Loading...") $ slow <$ postBuild
118+ _ <- untilReady (text "Loading...") slow
118 return ()
119 return ()
119 return ()
120 return ()