| 
															
																@@ -84,7 +84,7 @@ export class DOMConsole { 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     } 
															 | 
															
															 | 
															
																     } 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     const keyCode = event.which; 
															 | 
															
															 | 
															
																     const keyCode = event.which; 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     if (keyCode === 13 || this.anyKey) { 
															 | 
															
															 | 
															
																     if (keyCode === 13 || this.anyKey) { 
															 | 
														
													
												
													
														
															| 
															 | 
															
																-      if(this.idleInterval != null) { 
															 | 
															
															 | 
															
																 
															 | 
														
													
												
													
														
															| 
															 | 
															
																 
															 | 
															
															 | 
															
																+      if (this.idleInterval != null) { 
															 | 
														
													
												
													
														
															| 
															 | 
															
																         clearInterval(this.idleInterval); 
															 | 
															
															 | 
															
																         clearInterval(this.idleInterval); 
															 | 
														
													
												
													
														
															| 
															 | 
															
																         this.idleInterval = null; 
															 | 
															
															 | 
															
																         this.idleInterval = null; 
															 | 
														
													
												
													
														
															| 
															 | 
															
																       } 
															 | 
															
															 | 
															
																       } 
															 | 
														
													
												
											
												
													
														
															 | 
															
																@@ -186,7 +186,7 @@ export class DOMConsole { 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     this.pending_writes.push(0); 
															 | 
															
															 | 
															
																     this.pending_writes.push(0); 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     await Utils.sleep(5); 
															 | 
															
															 | 
															
																     await Utils.sleep(5); 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     this.pending_writes.pop(); 
															 | 
															
															 | 
															
																     this.pending_writes.pop(); 
															 | 
														
													
												
													
														
															| 
															 | 
															
																-    if(this.last_clear >= write_time) { 
															 | 
															
															 | 
															
																 
															 | 
														
													
												
													
														
															| 
															 | 
															
																 
															 | 
															
															 | 
															
																+    if (this.last_clear >= write_time) { 
															 | 
														
													
												
													
														
															| 
															 | 
															
																       return; 
															 | 
															
															 | 
															
																       return; 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     } 
															 | 
															
															 | 
															
																     } 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     const divClass = this.getClassForType(type); 
															 | 
															
															 | 
															
																     const divClass = this.getClassForType(type); 
															 | 
														
													
												
											
												
													
														
															 | 
															
																@@ -195,7 +195,7 @@ export class DOMConsole { 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     if (filter) 
															 | 
															
															 | 
															
																     if (filter) 
															 | 
														
													
												
													
														
															| 
															 | 
															
																       textDiv.innerHTML = this.getOutputText(text); 
															 | 
															
															 | 
															
																       textDiv.innerHTML = this.getOutputText(text); 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     else 
															 | 
															
															 | 
															
																     else 
															 | 
														
													
												
													
														
															| 
															 | 
															
																-      textDiv.innerHTML = `<span>${text}</span>)`; 
															 | 
															
															 | 
															
																 
															 | 
														
													
												
													
														
															| 
															 | 
															
																 
															 | 
															
															 | 
															
																+      textDiv.innerHTML = `<span>${text}</span>`; 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     this.termDiv.insertBefore(textDiv, this.inputDiv); 
															 | 
															
															 | 
															
																     this.termDiv.insertBefore(textDiv, this.inputDiv); 
															 | 
														
													
												
													
														
															| 
															 | 
															
																     this.scrollTerm(); 
															 | 
															
															 | 
															
																     this.scrollTerm(); 
															 | 
														
													
												
													
														
															| 
															 | 
															
																   } 
															 | 
															
															 | 
															
																   } 
															 |