mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-28 00:50:33 +00:00
05e6be051c
ACE defaults to a white background now. I have no preference in this, but it is caused by a change in the TextMate theme. There is a bugreport (Bug 55423) about the old blue background. This fixes an annoying problem with Safari 7, where characters are no longer properly measured by ACE. https://github.com/ajaxorg/ace/issues/1534 Fixes double-click to select: https://github.com/ajaxorg/ace/issues/956 Set proper basePath so that require works, allowing conditional loading of ACE resources. Need for Find to work after this update Bug: 55423 Bug: 45876 Bug: 58521 Change-Id: Ia64b67b4553f77c6ba3d2aefec4bab62d111deb7
69 lines
2.2 KiB
JavaScript
69 lines
2.2 KiB
JavaScript
define('ace/ext/spellcheck', ['require', 'exports', 'module' , 'ace/lib/event', 'ace/editor', 'ace/config'], function(require, exports, module) {
|
|
|
|
var event = require("../lib/event");
|
|
|
|
exports.contextMenuHandler = function(e){
|
|
var host = e.target;
|
|
var text = host.textInput.getElement();
|
|
if (!host.selection.isEmpty())
|
|
return;
|
|
var c = host.getCursorPosition();
|
|
var r = host.session.getWordRange(c.row, c.column);
|
|
var w = host.session.getTextRange(r);
|
|
|
|
host.session.tokenRe.lastIndex = 0;
|
|
if (!host.session.tokenRe.test(w))
|
|
return;
|
|
var PLACEHOLDER = "\x01\x01";
|
|
var value = w + " " + PLACEHOLDER;
|
|
text.value = value;
|
|
text.setSelectionRange(w.length, w.length + 1);
|
|
text.setSelectionRange(0, 0);
|
|
text.setSelectionRange(0, w.length);
|
|
|
|
var afterKeydown = false;
|
|
event.addListener(text, "keydown", function onKeydown() {
|
|
event.removeListener(text, "keydown", onKeydown);
|
|
afterKeydown = true;
|
|
});
|
|
|
|
host.textInput.setInputHandler(function(newVal) {
|
|
console.log(newVal , value, text.selectionStart, text.selectionEnd)
|
|
if (newVal == value)
|
|
return '';
|
|
if (newVal.lastIndexOf(value, 0) === 0)
|
|
return newVal.slice(value.length);
|
|
if (newVal.substr(text.selectionEnd) == value)
|
|
return newVal.slice(0, -value.length);
|
|
if (newVal.slice(-2) == PLACEHOLDER) {
|
|
var val = newVal.slice(0, -2);
|
|
if (val.slice(-1) == " ") {
|
|
if (afterKeydown)
|
|
return val.substring(0, text.selectionEnd);
|
|
val = val.slice(0, -1);
|
|
host.session.replace(r, val);
|
|
return "";
|
|
}
|
|
}
|
|
|
|
return newVal;
|
|
});
|
|
};
|
|
var Editor = require("../editor").Editor;
|
|
require("../config").defineOptions(Editor.prototype, "editor", {
|
|
spellcheck: {
|
|
set: function(val) {
|
|
var text = this.textInput.getElement();
|
|
text.spellcheck = !!val;
|
|
if (!val)
|
|
this.removeListener("nativecontextmenu", exports.contextMenuHandler);
|
|
else
|
|
this.on("nativecontextmenu", exports.contextMenuHandler);
|
|
},
|
|
value: true
|
|
}
|
|
});
|
|
|
|
});
|
|
|