Searched refs:FullTextDocument (Results 1 – 5 of 5) sorted by relevance
| /plugin/dirtylittlehelper/mermaid/editor/docs/ |
| H A D | 2.2.js | 1488 var FullTextDocument = /** @class */ (function () { function
1517 FullTextDocument.prototype.getText = function (range) { class
1530 FullTextDocument.prototype.getLineOffsets = function () {
1593 return FullTextDocument;
36028 var FullTextDocument = /** @class */ (function () { function
36068 if (FullTextDocument.isIncremental(change)) {
36100 else if (FullTextDocument.isFull(change)) {
36156 FullTextDocument.isIncremental = function (event) {
36162 FullTextDocument.isFull = function (event) {
36167 return FullTextDocument;
[all …]
|
| H A D | 4.4.js.map | 1 …FullTextDocument = /** @class */ (function () {\n function FullTextDocument(uri, languageId, ve…
|
| H A D | json.worker.js.map | 1 …FullTextDocument = /** @class */ (function () {\n function FullTextDocument(uri, languageId, ve…
|
| H A D | 3.3.js.map | 1 …FullTextDocument(uri, languageId, version, content);\n }\n TextDocument.create = create;\n …
|
| H A D | 2.2.js.map | 1 …FullTextDocument(uri, languageId, version, content);\n }\n TextDocument.create = create;\n …
|