@@ -7,23 +7,21 @@ import qualified Graphics.UI.Gtk as Gtk
7import Reflex.Dom
7import Reflex.Dom
8import Reflex.Spider.Internal (SpiderHostFrame)
8import Reflex.Spider.Internal (SpiderHostFrame)
11 getFirstEventAndHalt return
12 getFirstEventAndHalt return
12 putStrLn "stopped once"
13 putStrLn "stopped once"
14− forM_ [1 .. 1000] $ \ i -> do
15− getFirstEventAndHalt return
15+ forM_ [1 .. 1000] $ \i -> getFirstEventAndHalt return
16 putStrLn "stopped many times"
16 putStrLn "stopped many times"
18type SpiderM = Widget Spider (Gui Spider (WithWebView SpiderHost) SpiderHostFrame)
18type SpiderM = Widget Spider (Gui Spider (WithWebView SpiderHost) SpiderHostFrame)
20getFirstEventAndHalt :: (Event Spider () -> SpiderM (Event Spider ())) -> IO ()
20getFirstEventAndHalt :: (Event Spider () -> SpiderM (Event Spider ())) -> IO ()
21−getFirstEventAndHalt action = do
21+getFirstEventAndHalt action = mainWidget $ do
23− tick <- getPostBuild
22+ tick <- getPostBuild
24− event <- action tick
23+ event <- action tick
25− webView <- askWebView
24+ webView <- askWebView
26− quit <- getQuitWidget
25+ quit <- getQuitWidget
27− performEvent_ (quit <$ event)
26+ performEvent_ (quit <$ event)