From 242e3384b21f5092460307c591b2159033bfdc8f Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sun, 10 Dec 2017 08:09:36 +0300
Subject: [PATCH] adjust #hotkey-info position for scrollingElement

---
 popup/hotkeys.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/popup/hotkeys.js b/popup/hotkeys.js
index d2813258..9bed618e 100644
--- a/popup/hotkeys.js
+++ b/popup/hotkeys.js
@@ -204,7 +204,8 @@ var hotkeys = (() => {
       return;
     }
     const style = $('#hotkey-info').style;
-    if (installed.scrollHeight > installed.clientHeight) {
+    if (installed.scrollHeight > installed.clientHeight ||
+        document.scrollingElement.scrollHeight > document.scrollingElement.innerHeight) {
       const entryRight = installed.firstElementChild.getBoundingClientRect().right;
       style.setProperty('right', window.innerWidth - entryRight + 'px', 'important');
     }