fix lint errors

jcubic · Mar 13, 2024 · 67dd723 · 67dd723
1 parent befb33a
commit 67dd723
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -10645,8 +10645,8 @@
                         var offset = self.find('.cmd').offset();
                         var self_offset = self.offset();
                         self.stopTime('flush').oneTime(10, 'flush', function() {
-                            const top = output.height();
-                            const height = command_line.height();
+                            var top = output.height();
+                            var height = command_line.height();
                             css(self[0], {
                                 '--terminal-height': self.height(),
                                 '--terminal-x': offset.left - self_offset.left,