From fc50ee2e2c441fce3b34afa800c8361e24662c40 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Wed, 27 Jun 2018 15:42:35 +0300
Subject: [PATCH] disable '#header select' autosizing in Vivaldi

---
 manage/manage.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/manage/manage.js b/manage/manage.js
index e8c31829..66620799 100644
--- a/manage/manage.js
+++ b/manage/manage.js
@@ -693,7 +693,9 @@ function usePrefsDuringPageLoad() {
       el.value = value;
     }
   }
-  $$('#header select').forEach(el => el.adjustWidth());
+  if (!VIVALDI) {
+    $$('#header select').forEach(el => el.adjustWidth());
+  }
 
   if (FIREFOX && 'update' in (chrome.commands || {})) {
     const btn = $('#manage-shortcuts-button');