fix height of the terminal when --rows not used #962

jcubic · Sep 8, 2024 · 4c696ac · 4c696ac
1 parent cebc63d
commit 4c696ac
Show file tree

Hide file tree

Showing 12 changed files with 26 additions and 23 deletions.
diff --git a/css/emoji.css b/css/emoji.css
diff --git a/css/jquery.terminal-2.43.0.css b/css/jquery.terminal-2.43.0.css
@@ -12,7 +12,7 @@
  * Copyright (c) 2011-2024 Jakub T. Jankiewicz <https://jcubic.pl/me>
  * Released under the MIT license
  *
- * Date: Sat, 07 Sep 2024 09:54:53 +0000
+ * Date: Sun, 08 Sep 2024 09:53:47 +0000
  */
 .terminal .terminal-output .format, .cmd .format,
 .cmd-prompt, .cmd-prompt div {
@@ -839,8 +839,9 @@ terminal .terminal-output > div {
     }
     .terminal {
         --terminal-line: calc(var(--size, 1) * (16px / var(--pixel-density, 1)) + 1px / var(--pixel-density, 1));
-        /* force size when user add --rows or --cols */
-        height: calc((var(--terminal-line) * var(--rows)) + (var(--padding, 10) * 2px)) !important;
+        height: auto;
+        /* force size when user add --rows */
+        height: calc((var(--terminal-line) * var(--rows)) + (var(--padding, 10) * 2px));
     }
     .terminal .terminal-output > :not(.raw) > div,
     .cmd div,

diff --git a/css/jquery.terminal-2.43.0.min.css b/css/jquery.terminal-2.43.0.min.css
diff --git a/css/jquery.terminal-src.css b/css/jquery.terminal-src.css
@@ -839,8 +839,9 @@ terminal .terminal-output > div {
     }
     .terminal {
         --terminal-line: calc(var(--size, 1) * (16px / var(--pixel-density, 1)) + 1px / var(--pixel-density, 1));
-        /* force size when user add --rows or --cols */
-        height: calc((var(--terminal-line) * var(--rows)) + (var(--padding, 10) * 2px)) !important;
+        height: auto;
+        /* force size when user add --rows */
+        height: calc((var(--terminal-line) * var(--rows)) + (var(--padding, 10) * 2px));
     }
     .terminal .terminal-output > :not(.raw) > div,
     .cmd div,

diff --git a/css/jquery.terminal.css b/css/jquery.terminal.css
@@ -12,7 +12,7 @@
  * Copyright (c) 2011-2024 Jakub T. Jankiewicz <https://jcubic.pl/me>
  * Released under the MIT license
  *
- * Date: Sat, 07 Sep 2024 09:54:53 +0000
+ * Date: Sun, 08 Sep 2024 09:53:47 +0000
  */
 .terminal .terminal-output .format, .cmd .format,
 .cmd-prompt, .cmd-prompt div {
@@ -839,8 +839,9 @@ terminal .terminal-output > div {
     }
     .terminal {
         --terminal-line: calc(var(--size, 1) * (16px / var(--pixel-density, 1)) + 1px / var(--pixel-density, 1));
-        /* force size when user add --rows or --cols */
-        height: calc((var(--terminal-line) * var(--rows)) + (var(--padding, 10) * 2px)) !important;
+        height: auto;
+        /* force size when user add --rows */
+        height: calc((var(--terminal-line) * var(--rows)) + (var(--padding, 10) * 2px));
     }
     .terminal .terminal-output > :not(.raw) > div,
     .cmd div,

diff --git a/css/jquery.terminal.min.css b/css/jquery.terminal.min.css
diff --git a/css/jquery.terminal.min.css.map b/css/jquery.terminal.min.css.map
diff --git a/js/jquery.terminal-2.43.0.js b/js/jquery.terminal-2.43.0.js
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Sat, 07 Sep 2024 09:54:52 +0000
+ * Date: Sun, 08 Sep 2024 09:53:46 +0000
  */
 /* global define, Map, BigInt */
 /* eslint-disable */
@@ -5323,7 +5323,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: '2.43.0',
-        date: 'Sat, 07 Sep 2024 09:54:52 +0000',
+        date: 'Sun, 08 Sep 2024 09:53:46 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',

diff --git a/js/jquery.terminal-2.43.0.min.js b/js/jquery.terminal-2.43.0.min.js
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: Sat, 07 Sep 2024 09:54:52 +0000
+ * Date: Sun, 08 Sep 2024 09:53:46 +0000
  */
 /* global define, Map, BigInt */
 /* eslint-disable */
@@ -5323,7 +5323,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: '2.43.0',
-        date: 'Sat, 07 Sep 2024 09:54:52 +0000',
+        date: 'Sun, 08 Sep 2024 09:53:46 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',

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