From c90245da2542b7e2072f74b3e231e4dbfeb72ce2 Mon Sep 17 00:00:00 2001
From: Niko Lehto <nikle@cendio.se>
Date: Wed, 4 Sep 2019 15:05:14 +0200
Subject: [PATCH] Restore page name after disconnect

---
 app/ui.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/app/ui.js b/app/ui.js
index 1909dee..4f683ea 100644
--- a/app/ui.js
+++ b/app/ui.js
@@ -17,6 +17,8 @@ import Keyboard from "../core/input/keyboard.js";
 import RFB from "../core/rfb.js";
 import * as WebUtil from "./webutil.js";
 
+const PAGE_TITLE = "noVNC";
+
 const UI = {
 
     connected: false,
@@ -1122,6 +1124,8 @@ const UI = {
             UI.showStatus(_("Disconnected"), 'normal');
         }
 
+        document.title = PAGE_TITLE;
+
         UI.openControlbar();
         UI.openConnectPanel();
     },
@@ -1615,7 +1619,7 @@ const UI = {
     updateDesktopName(e) {
         UI.desktopName = e.detail.name;
         // Display the desktop name in the document title
-        document.title = e.detail.name + " - noVNC";
+        document.title = e.detail.name + " - " + PAGE_TITLE;
     },
 
     bell(e) {
-- 
2.39.2