4 var ext
= location
.href
.split('.').pop();
6 var ta
=d
.getElementById("textarea");
8 var e
= d
.getElementById("editor");
19 editor
.session
.setValue(text
);
21 editor
.session
.setMode("ace/mode/"+ext
);
22 editor
.setTheme("ace/theme/clouds");
23 editor
.setShowPrintMargin(false);
25 enableBasicAutocompletion
: true,
27 enableLiveAutocompletion
: true
32 let u8
=new TextEncoder().encode(editor
.session
.getValue());let r
='';for(let i
=0;i
<u8
.byteLength
;i
++)r
+=String
.fromCharCode(u8
[i
]);location
.href
='i:0l'+fn
+':'+btoa(r
);