@@ -82,12 +82,6 @@ import Language.Javascript.JSaddle (JSM, Results, Batch)
8282import Language.Javascript.JSaddle.Run (runJavaScript)
8383import Language.Javascript.JSaddle.Run.Files (initState, runBatch, ghcjsHelpers)
8484
85−noAdjustment :: Maybe Adjustment
86−noAdjustment = Nothing
87−
88−noCancellable :: Maybe Cancellable
89−noCancellable = Nothing
90−
9185quitWebView :: WebView -> IO ()
9286quitWebView wv = postGUIAsync $ do w <- widgetGetToplevel wv --TODO: Shouldn't this be postGUISync?
9387 widgetDestroy w
@@ -110,7 +104,7 @@ run main = do
110104 _ <- timeoutAdd PRIORITY_HIGH 10 (yield >> return True)
111105 windowSetDefaultSize window 900 600
112106 windowSetPosition window WindowPositionCenter
113− scrollWin <- scrolledWindowNew noAdjustment noAdjustment
107+ scrollWin <- scrolledWindowNew (Nothing :: Maybe Adjustment) (Nothing :: Maybe Adjustment)
114108 contentManager <- userContentManagerNew
115109 webView <- webViewNewWithUserContentManager contentManager
116110 settings <- webViewGetSettings webView
@@ -134,11 +128,11 @@ run main = do
134128runInWebView :: JSM () -> WebView -> IO ()
135129runInWebView f webView = do
136130 (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)
138132 f
139133
140134 addJSaddleHandler webView processResults syncResults
141− webViewRunJavascript webView (decodeUtf8 $ toStrict jsaddleJs) noCancellable . Just $
135+ webViewRunJavascript webView (decodeUtf8 $ toStrict jsaddleJs) (Nothing :: Maybe Cancellable) . Just $
142136 \_obj _asyncResult ->
143137 void $ forkIO start
144138