chore: Update index.html and editor_change.js

Jean-Baptiste Doderlein · Jean-Baptiste Doderlein · commit 2fe923ac0a49 · 2024-07-06T17:30:02.000+02:00
diff --git a/src/index.html b/src/index.html
@@ -195,7 +195,9 @@ <h5>Editor</h5>
         </div>
         <h5>Toplevel</h5>
         <div class="help-section">
-            
+            <blockquote class="commands">
+                <div class="shortcut-command ctrl"> + E </div> : Paste Mode
+            </blockquote>
         </div>
         <h5>Search / Replace</h5>
         <div class="help-section">
diff --git a/src/js/editor_change.js b/src/js/editor_change.js
@@ -67,6 +67,7 @@ let exec_last = function (instance) {
             code += '\n';
         }
         terminal.process(code);
+        autoscroll_output();
     }
 };
 

Original file line number	Diff line number	Diff line change
`@@ -67,6 +67,7 @@ let exec_last = function (instance) {`
`67`	`67`	`code += '\n';`
`68`	`68`	`}`
`69`	`69`	`terminal.process(code);`
	`70`	`+ autoscroll_output();`
`70`	`71`	`}`
`71`	`72`	`};`
`72`	`73`