var texteditor = Object.copy(inputpanel, { title: "text editor", wh: [700, 500], _cursor: 0 /* Text cursor: [char,line] */, get cursor() { return this._cursor; }, set cursor(x) { if (x > this.value.length) x = this.value.length; if (x < 0) x = 0; this._cursor = x; this.line = this.get_line(); }, submit() {}, line: 0, killring: [], undos: [], startbuffer: "", savestate() { this.undos.push(this.value.slice()); }, popstate() { if (this.undos.length === 0) return; this.value = this.undos.pop(); this.cursor = this.cursor; }, copy(start, end) { return this.value.slice(start, end); }, delete_line(p) { var ls = this.line_start(p); var le = this.line_end(p) + 1; this.cut_span(ls, le); this.to_line_start(); }, line_blank(p) { var ls = this.line_start(p); var le = this.line_end(p); var line = this.value.slice(ls, le); if (line.search(/[^\s]/g) === -1) return true; else return false; }, get_line() { var line = 0; for (var i = 0; i < this.cursor; i++) if (this.value[i] === "\n") line++; return line; }, start() { this.cursor = 0; this.startbuffer = this.value.slice(); }, get dirty() { return this.startbuffer !== this.value; }, src: "NEW FILE", guibody() { return [Mum.text({ str: `EDITING ${this.src}` }), Mum.text({ str: this.value, caret: this.cursor, offset: [0, -16] })]; }, insert_char(char) { this.value = this.value.slice(0, this.cursor) + char + this.value.slice(this.cursor); this.cursor++; }, line_starting_whitespace(p) { var white = 0; var l = this.line_start(p); while (this.value[l] === " ") { white++; l++; } return white; }, cut_span(start, end) { if (end < start) return; this.savestate(); var ret = this.value.slice(start, end); this.value = this.value.slice(0, start) + this.value.slice(end); if (start > this.cursor) return ret; this.cursor -= ret.length; return ret; }, next_word(pos) { var v = this.value.slice(pos + 1).search(/[^\w]\w/g); if (v === -1) return pos; return pos + v + 2; }, prev_word(pos) { while (this.value.slice(pos, pos + 2).search(/[^\w]\w/g) === -1 && pos > 0) pos--; return pos + 1; }, end_of_word(pos) { var l = this.value.slice(pos).search(/\w[^\w]/g); return l + pos; }, get inset() { return this.cursor - this.value.prev("\n", this.cursor) - 1; }, line_start(p) { return this.value.prev("\n", p) + 1; }, line_end(p) { return this.value.next("\n", p); }, next_line(p) { return this.value.next("\n", p) + 1; }, prev_line(p) { return this.line_start(this.value.prev("\n", p)); }, to_line_start() { this.cursor = this.value.prev("\n", this.cursor) + 1; }, to_line_end() { var p = this.value.next("\n", this.cursor); if (p === -1) this.to_file_end(); else this.cursor = p; }, line_width(pos) { var start = this.line_start(pos); var end = this.line_end(pos); if (end === -1) end = this.value.length; return end - start; }, to_file_end() { this.cursor = this.value.length; }, to_file_start() { this.cursor = 0; }, desired_inset: 0, }); texteditor.inputs = {}; (texteditor.inputs.char = function (char) { this.insert_char(char); this.keycb(); }), (texteditor.inputs.enter = function () { var white = this.line_starting_whitespace(this.cursor); this.insert_char("\n"); for (var i = 0; i < white; i++) this.insert_char(" "); }); texteditor.inputs.enter.rep = true; texteditor.inputs.backspace = function () { this.value = this.value.slice(0, this.cursor - 1) + this.value.slice(this.cursor); this.cursor--; }; texteditor.inputs.backspace.rep = true; texteditor.inputs["C-s"] = function () { if (this.srctype === "function") { eval(`${this.src} = ${this.value}`); } }; texteditor.inputs["C-s"].doc = "Save edited text."; texteditor.inputs["C-u"] = function () { this.popstate(); }; texteditor.inputs["C-u"].doc = "Undo."; texteditor.inputs["C-q"] = function () { var ws = this.prev_word(this.cursor); var we = this.end_of_word(this.cursor) + 1; var find = this.copy(ws, we); var obj = editor.edit_level.varname2obj(find); if (obj) { editor.unselect(); editor.selectlist.push(obj); } }; texteditor.inputs["C-q"].doc = "Select object of selected word."; texteditor.inputs["C-o"] = function () { this.insert_char("\n"); this.cursor--; }; texteditor.inputs["C-o"].doc = "Insert newline."; texteditor.inputs["C-o"].rep = true; texteditor.inputs["M-o"] = function () { while (this.line_blank(this.next_line(this.cursor))) this.delete_line(this.next_line(this.cursor)); while (this.line_blank(this.prev_line(this.cursor))) this.delete_line(this.prev_line(this.cursor)); }; texteditor.inputs["M-o"].doc = "Delete surround blank lines."; texteditor.inputs["C-d"] = function () { this.value = this.value.slice(0, this.cursor) + this.value.slice(this.cursor + 1); }; texteditor.inputs["C-d"].doc = "Delete character."; texteditor.inputs["M-d"] = function () { this.cut_span(this.cursor, this.end_of_word(this.cursor) + 1); }; texteditor.inputs["M-d"].doc = "Delete word."; texteditor.inputs["C-a"] = function () { this.to_line_start(); this.desired_inset = this.inset; }; texteditor.inputs["C-a"].doc = "To start of line."; texteditor.inputs["C-y"] = function () { if (this.killring.length === 0) return; this.insert_char(this.killring.pop()); }; texteditor.inputs["C-y"].doc = "Insert from killring."; texteditor.inputs["C-e"] = function () { this.to_line_end(); this.desired_inset = this.inset; }; texteditor.inputs["C-e"].doc = "To line end."; texteditor.inputs["C-k"] = function () { if (this.cursor === this.value.length - 1) return; var killamt = this.value.next("\n", this.cursor) - this.cursor; var killed = this.cut_span(this.cursor - 1, this.cursor + killamt); this.killring.push(killed); }; texteditor.inputs["C-k"].doc = "Kill from cursor to end of line."; texteditor.inputs["M-k"] = function () { var prevn = this.value.prev("\n", this.cursor); var killamt = this.cursor - prevn; var killed = this.cut_span(prevn + 1, prevn + killamt); this.killring.push(killed); this.to_line_start(); }; texteditor.inputs["M-k"].doc = "Kill entire line the cursor is on."; texteditor.inputs["C-b"] = function () { this.cursor--; this.desired_inset = this.inset; }; texteditor.inputs["C-b"].rep = true; texteditor.inputs["M-b"] = function () { this.cursor = this.prev_word(this.cursor - 2); this.desired_inset = this.inset; }; texteditor.inputs["M-b"].rep = true; texteditor.inputs["C-f"] = function () { this.cursor++; this.desired_inset = this.inset; }; texteditor.inputs["C-f"].rep = true; texteditor.inputs["M-f"] = function () { this.cursor = this.next_word(this.cursor); this.desired_inset = this.inset; }; texteditor.inputs["M-f"].rep = true; texteditor.inputs["C-p"] = function () { if (this.cursor === 0) return; this.desired_inset = Math.max(this.desired_inset, this.inset); this.cursor = this.prev_line(this.cursor); var newlinew = this.line_width(this.cursor); this.cursor += Math.min(this.desired_inset, newlinew); }; texteditor.inputs["C-p"].rep = true; texteditor.inputs["M-p"] = function () { while (this.line_blank(this.cursor)) this.cursor = this.prev_line(this.cursor); while (!this.line_blank(this.cursor)) this.cursor = this.prev_line(this.cursor); }; texteditor.inputs["M-p"].doc = "Go up to next line with text on it."; texteditor.inputs["M-p"].rep = true; texteditor.inputs["C-n"] = function () { if (this.cursor === this.value.length - 1) return; if (this.value.next("\n", this.cursor) === -1) { this.to_file_end(); return; } this.desired_inset = Math.max(this.desired_inset, this.inset); this.cursor = this.next_line(this.cursor); var newlinew = this.line_width(this.cursor); this.cursor += Math.min(this.desired_inset, newlinew); }; texteditor.inputs["C-n"].rep = true; texteditor.inputs["M-n"] = function () { while (this.line_blank(this.cursor)) this.cursor = this.next_line(this.cursor); while (!this.line_blank(this.cursor)) this.cursor = this.next_line(this.cursor); }; texteditor.inputs["M-n"].doc = "Go down to next line with text on it."; texteditor.inputs["M-n"].rep = true; texteditor.open_fn = function (fnstr) { var fn = eval(fnstr); if (!fn) { console.warn(`${fnstr} is not a function.`); return; } this.src = fnstr; this.srctype = "function"; editor.openpanel(this); this.value = fn; this.cursor = 0; };