@@ -82,12 +82,6 @@ import Language.Javascript.JSaddle (JSM, Results, Batch)
82import Language.Javascript.JSaddle.Run (runJavaScript)
82import Language.Javascript.JSaddle.Run (runJavaScript)
83import Language.Javascript.JSaddle.Run.Files (initState, runBatch, ghcjsHelpers)
83import Language.Javascript.JSaddle.Run.Files (initState, runBatch, ghcjsHelpers)
85−noAdjustment :: Maybe Adjustment
86−noAdjustment = Nothing
88−noCancellable :: Maybe Cancellable
89−noCancellable = Nothing
91quitWebView :: WebView -> IO ()
85quitWebView :: WebView -> IO ()
92quitWebView wv = postGUIAsync $ do w <- widgetGetToplevel wv --TODO: Shouldn't this be postGUISync?
86quitWebView wv = postGUIAsync $ do w <- widgetGetToplevel wv --TODO: Shouldn't this be postGUISync?
93 widgetDestroy w
87 widgetDestroy w
@@ -110,7 +104,7 @@ run main = do
110 _ <- timeoutAdd PRIORITY_HIGH 10 (yield >> return True)
104 _ <- timeoutAdd PRIORITY_HIGH 10 (yield >> return True)
111 windowSetDefaultSize window 900 600
105 windowSetDefaultSize window 900 600
112 windowSetPosition window WindowPositionCenter
106 windowSetPosition window WindowPositionCenter
113− scrollWin <- scrolledWindowNew noAdjustment noAdjustment
107+ scrollWin <- scrolledWindowNew (Nothing :: Maybe Adjustment) (Nothing :: Maybe Adjustment)
114 contentManager <- userContentManagerNew
108 contentManager <- userContentManagerNew
115 webView <- webViewNewWithUserContentManager contentManager
109 webView <- webViewNewWithUserContentManager contentManager
116 settings <- webViewGetSettings webView
110 settings <- webViewGetSettings webView
@@ -134,11 +128,11 @@ run main = do
134runInWebView :: JSM () -> WebView -> IO ()
128runInWebView :: JSM () -> WebView -> IO ()
135runInWebView f webView = do
129runInWebView f webView = do
136 (processResults, syncResults, start) <- runJavaScript (\batch -> postGUIAsync $
130 (processResults, syncResults, start) <- runJavaScript (\batch -> postGUIAsync $
137− webViewRunJavascript webView (decodeUtf8 . toStrict $ "runJSaddleBatch(" <> encode batch <> ");") noCancellable Nothing)
131+ webViewRunJavascript webView (decodeUtf8 . toStrict $ "runJSaddleBatch(" <> encode batch <> ");") (Nothing :: Maybe Cancellable) Nothing)
140 addJSaddleHandler webView processResults syncResults
134 addJSaddleHandler webView processResults syncResults
141− webViewRunJavascript webView (decodeUtf8 $ toStrict jsaddleJs) noCancellable . Just $
135+ webViewRunJavascript webView (decodeUtf8 $ toStrict jsaddleJs) (Nothing :: Maybe Cancellable) . Just $
142 \_obj _asyncResult ->
136 \_obj _asyncResult ->
143 void $ forkIO start
137 void $ forkIO start