gorhill#12

platform/chromium/options_ui.html

@@ -4,6 +4,8 @@
 <meta charset="utf-8">
 <script src="js/vapi.js"></script>
 <script src="js/vapi-client.js"></script>
+<!-- Patch 2017-12-09: Properly fix dashboard opening handling -->
+<script src="js/vapi-nano.js"></script>
 <script src="js/options_ui.js"></script>
 <title></title>
 </head>

platform/chromium/vapi-client.js

@@ -433,15 +433,6 @@ vAPI.messaging.Connection.prototype = {
 
 /******************************************************************************/
 
-// Patch 2017-12-06: Replace the current tab
-vAPI.openHere = function(path) {
-    if ( chrome.tabs !== undefined ) {
-        chrome.tabs.update({ url: path });
-    }
-};
-
-/******************************************************************************/
-
 vAPI.shutdown.add(function() {
     vAPI.messaging.shutdown();
     window.vAPI = undefined;

platform/chromium/vapi-nano.js

@@ -0,0 +1,21 @@
+'use strict';
+
+(function(self) {
+
+/******************************************************************************/
+
+// Patch 2017-12-06: Make dashboard full tab
+vAPI.openHere = function(path) {
+    if ( chrome.tabs !== undefined ) {
+        chrome.tabs.update({ url: path });
+    }
+};
+
+/******************************************************************************/
+
+// Patch 2017-12-09: Make back button properly return to extension manager
+vAPI.extensionManager = 'chrome://extensions/';
+
+/******************************************************************************/
+
+})(this);

src/dashboard.html

@@ -26,6 +26,8 @@
 
 <script src="js/vapi.js"></script>
 <script src="js/vapi-common.js"></script>
+<!-- Patch 2017-12-09: Properly fix dashboard opening handling -->
+<script src="js/vapi-nano.js"></script>
 <script src="js/udom.js"></script>
 <script src="js/i18n.js"></script>
 <script src="js/dashboard.js"></script>

src/js/dashboard.js

@@ -80,4 +80,11 @@ uDom.onLoad(function() {
 
 /******************************************************************************/
 
+// Patch 2017-12-09: Make back button properly return to extension manager
+window.addEventListener('beforeunload', function() {
+    vAPI.openHere(vAPI.extensionManager);
+});
+
+/******************************************************************************/
+
 })();