@@ -57,7 +57,10 @@ void runInWKWebView(HsStablePtr handler, const char * _Nonnull progName) {
57 AppDelegate *appDelegate = [[AppDelegate alloc] initApp:handler progName:[NSString stringWithCString:progName encoding:NSUTF8StringEncoding]];
57 AppDelegate *appDelegate = [[AppDelegate alloc] initApp:handler progName:[NSString stringWithCString:progName encoding:NSUTF8StringEncoding]];
58 [application setDelegate:appDelegate];
58 [application setDelegate:appDelegate];
59 const char * _Nonnull argv [] = {"", 0};
59 const char * _Nonnull argv [] = {"", 0};
60− NSApplicationMain(0, argv);
60+ [application
61+ performSelectorOnMainThread:@selector(run)