From 0a934b0657eb82cd2fada725530eec52cbba564e Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sun, 22 Aug 2021 20:40:16 +0300
Subject: [PATCH] go to style manager after installing style

---
 install-usercss/install-usercss.js | 16 ++++------------
 1 file changed, 4 insertions(+), 12 deletions(-)

diff --git a/install-usercss/install-usercss.js b/install-usercss/install-usercss.js
index 6645e882..5d720d52 100644
--- a/install-usercss/install-usercss.js
+++ b/install-usercss/install-usercss.js
@@ -1,6 +1,6 @@
 /* global $ $create $createLink $$remove showSpinner */// dom.js
 /* global API */// msg.js
-/* global closeCurrentTab deepEqual */// toolbox.js
+/* global deepEqual */// toolbox.js
 /* global messageBox */
 /* global prefs */
 /* global preinit */
@@ -301,17 +301,9 @@ function install(style) {
 
   updateMeta(style);
 
-  if (!liveReload.enabled && !prefs.get('openEditInWindow')) {
-    location.href = '/edit.html?id=' + style.id;
-  } else {
-    API.openEditor({id: style.id});
-    if (!liveReload.enabled) {
-      if (tabId < 0 && history.length > 1) {
-        history.back();
-      } else {
-        closeCurrentTab();
-      }
-    }
+  if (!liveReload.enabled) {
+    sessionStorage.justEditedStyleId = style.id;
+    location.href = '/manage.html';
   }
 }