Browse Source

Fix prompt jumping issue

David Peter 2 years ago
parent
commit
a9aafbf857
2 changed files with 1 additions and 3 deletions
  1. 1 1
      numbat-wasm/www/index.js
  2. 0 2
      numbat-wasm/www/main.css

+ 1 - 1
numbat-wasm/www/index.js

@@ -80,7 +80,7 @@ $(document).ready(function() {
     greetings: greeting,
     name: "terminal",
     height: 550,
-    prompt: "[[;;;prompt]> ]",
+    prompt: "[[;;;prompt]>>> ]",
     // clear: false, // do not include 'clear' command
     // exit: false, // do not include 'exit' command
     checkArity: false,

+ 0 - 2
numbat-wasm/www/main.css

@@ -85,8 +85,6 @@ p.links a {
 
 .prompt {
     font-weight: bold;
-    /* workaround for https://github.com/sharkdp/insect/issues/78 */
-    letter-spacing: 1px;
 }
 
 /* syntax highlighting */