|
|
@@ -104741,7 +104741,7 @@ function r(e){var t,f,n="";if("string"==typeof e||"number"==typeof e)n+=e;else i
|
|
|
for (var i = newBreaks.length - 1; i >= 0; i--)
|
|
|
{ replaceRange(cm.doc, val, newBreaks[i], Pos(newBreaks[i].line, newBreaks[i].ch + val.length)); }
|
|
|
});
|
|
|
- option("specialChars", /[\u0000-\u001f\u007f-\u009f\u00ad\u061c\u200b\u200e\u200f\u2028\u2029\ufeff\ufff9-\ufffc]/g, function (cm, val, old) {
|
|
|
+ option("specialChars", /[\u0000-\u001f\u007f-\u009f\u00ad\u061c\u200b\u200e\u200f\u2028\u2029\u202d\u202e\u2066\u2067\u2069\ufeff\ufff9-\ufffc]/g, function (cm, val, old) {
|
|
|
cm.state.specialChars = new RegExp(val.source + (val.test("\t") ? "" : "|\t"), "g");
|
|
|
if (old != Init) { cm.refresh(); }
|
|
|
});
|
|
|
@@ -106337,6 +106337,7 @@ function r(e){var t,f,n="";if("string"==typeof e||"number"==typeof e)n+=e;else i
|
|
|
// Used to work around IE issue with selection being forgotten when focus moves away from textarea
|
|
|
this.hasSelection = false;
|
|
|
this.composing = null;
|
|
|
+ this.resetting = false;
|
|
|
};
|
|
|
|
|
|
TextareaInput.prototype.init = function (display) {
|
|
|
@@ -106469,8 +106470,9 @@ function r(e){var t,f,n="";if("string"==typeof e||"number"==typeof e)n+=e;else i
|
|
|
// Reset the input to correspond to the selection (or to be empty,
|
|
|
// when not typing and nothing is selected)
|
|
|
TextareaInput.prototype.reset = function (typing) {
|
|
|
- if (this.contextMenuPending || this.composing) { return }
|
|
|
+ if (this.contextMenuPending || this.composing && typing) { return }
|
|
|
var cm = this.cm;
|
|
|
+ this.resetting = true;
|
|
|
if (cm.somethingSelected()) {
|
|
|
this.prevInput = "";
|
|
|
var content = cm.getSelection();
|
|
|
@@ -106481,6 +106483,7 @@ function r(e){var t,f,n="";if("string"==typeof e||"number"==typeof e)n+=e;else i
|
|
|
this.prevInput = this.textarea.value = "";
|
|
|
if (ie && ie_version >= 9) { this.hasSelection = null; }
|
|
|
}
|
|
|
+ this.resetting = false;
|
|
|
};
|
|
|
|
|
|
TextareaInput.prototype.getField = function () { return this.textarea };
|
|
|
@@ -106542,7 +106545,7 @@ function r(e){var t,f,n="";if("string"==typeof e||"number"==typeof e)n+=e;else i
|
|
|
// possible when it is clear that nothing happened. hasSelection
|
|
|
// will be the case when there is a lot of text in the textarea,
|
|
|
// in which case reading its value would be expensive.
|
|
|
- if (this.contextMenuPending || !cm.state.focused ||
|
|
|
+ if (this.contextMenuPending || this.resetting || !cm.state.focused ||
|
|
|
(hasSelection(input) && !prevInput && !this.composing) ||
|
|
|
cm.isReadOnly() || cm.options.disableInput || cm.state.keySeq)
|
|
|
{ return false }
|
|
|
@@ -106829,7 +106832,7 @@ function r(e){var t,f,n="";if("string"==typeof e||"number"==typeof e)n+=e;else i
|
|
|
|
|
|
addLegacyProps(CodeMirror);
|
|
|
|
|
|
- CodeMirror.version = "5.65.7";
|
|
|
+ CodeMirror.version = "5.65.8";
|
|
|
|
|
|
return CodeMirror;
|
|
|
|
leo