Patch reboot

Author: dteoh

devdocs-macos/DocumentationViewController.swift

@@ -195,6 +195,10 @@ class DocumentationViewController: NSViewController {
         self.documentURL = URL(string: location)
         hideSearchControl()
     }
+
+    private func handleAppReboot() {
+        webView.reload()
+    }
 }
 
 // MARK:- WKUIDelegate
@@ -256,6 +260,8 @@ extension DocumentationViewController: WKScriptMessageHandler {
                 return
             }
             handleLocationNotification(args)
+        case "appReboot":
+            handleAppReboot()
         default:
             return
         }

devdocs-macos/user-scripts/integration.js

@@ -22,6 +22,11 @@
   const app = await globalDefined('app')
   app.isMobile = () => false
   app.views.Mobile.detect = () => false
+  app.reboot = () => {
+    window.webkit.messageHandlers.vcBus.postMessage({
+      type: 'appReboot'
+    })
+  }
 
   window.matchMedia = original
   window.webkit.messageHandlers.vcBus.postMessage({ type: 'afterInit' })