From b5fd8b63dc09510909aa28cdaa77b2834576257c Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 4 Jun 2022 19:20:20 +0300
Subject: [PATCH] new Vivaldi uses vivExtData

---
 background/token-manager.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/background/token-manager.js b/background/token-manager.js
index 3be95804..153165a7 100644
--- a/background/token-manager.js
+++ b/background/token-manager.js
@@ -248,7 +248,7 @@ const tokenMan = (() => {
     // Workaround for https://github.com/openstyles/stylus/issues/1182
     // Note that modern Vivaldi isn't exposed in `navigator.userAgent` but it adds `extData` to tabs
     const anyTab = await getActiveTab() || (await browser.tabs.query({}))[0];
-    if (anyTab && !anyTab.extData) {
+    if (anyTab && !(anyTab.extData || anyTab.vivExtData)) {
       return false;
     }
     let bugged = true;