improve calculation of scrollbar width

jcubic · Nov 17, 2024 · 576c43d · 576c43d
1 parent d34629f
commit 576c43d
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 11 deletions.
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -9682,10 +9682,9 @@
         }
         // ---------------------------------------------------------------------
         function get_scrollbar_width() {
-            var width = filler.width();
+            var width = filler.outerWidth();
             var container_width = self.width();
-            var padding = get_padding();
-            return container_width - width - (padding.left + padding.right);
+            return container_width - width;
         }
         // ---------------------------------------------------------------------
         function get_padding() {

diff --git a/js/jquery.terminal.js b/js/jquery.terminal.js
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Sun, 17 Nov 2024 13:13:40 +0000
+ * Date: Sun, 17 Nov 2024 13:32:31 +0000
  */
 /* global define, Map, BigInt */
 /* eslint-disable */
@@ -5345,7 +5345,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Sun, 17 Nov 2024 13:13:40 +0000',
+        date: 'Sun, 17 Nov 2024 13:32:31 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -9682,10 +9682,9 @@
         }
         // ---------------------------------------------------------------------
         function get_scrollbar_width() {
-            var width = filler.width();
+            var width = filler.outerWidth();
             var container_width = self.width();
-            var padding = get_padding();
-            return container_width - width - (padding.left + padding.right);
+            return container_width - width;
         }
         // ---------------------------------------------------------------------
         function get_padding() {

diff --git a/js/jquery.terminal.min.js b/js/jquery.terminal.min.js
diff --git a/js/jquery.terminal.min.js.map b/js/jquery.terminal.min.js.map