Open source

2026-10-24 13:40:13 -05:00 · 2023-10-15 13:06:58 +03:00
parent 256ce800e7
commit 553b121f17
2633 changed files with 769945 additions and 454 deletions
@@ -0,0 +1,13 @@
+CodeMirror=function(a,b){
+	this.value=b.value;
+	this.on=function(){}
+	this.setValue=function(x){
+		this.value=x;
+	};
+	this.getValue=function(){
+		return this.value;
+	}
+	this.focus=function(){};
+	this.clearHistory=function(){};
+	return this;
+}