Home
last modified time | relevance | path

Searched refs:oldUri (Results 1 – 11 of 11) sorted by relevance

/plugin/dirtylittlehelper/mermaid/editor/docs/
D5.5.js1oldUri:e,newUri:t};return void 0===n||void 0===n.overwrite&&void 0===n.ignoreIfExists||(i.options=… property
D2.2.js550 function create(oldUri, newUri, options) {
553 oldUri: oldUri,
564 …return candidate && candidate.kind === 'rename' && Is.string(candidate.oldUri) && Is.string(candid…
718 WorkspaceChange.prototype.renameFile = function (oldUri, newUri, options) {
720 this._workspaceEdit.documentChanges.push(RenameFile.create(oldUri, newUri, options));
D6.6.js1oldUri:e,newUri:t};return void 0===r||void 0===r.overwrite&&void 0===r.ignoreIfExists||(n.options=… property
D4.4.js1oldUri:e,newUri:t};return void 0===n||void 0===n.overwrite&&void 0===n.ignoreIfExists||(r.options=… property
D4.4.js.map1oldUri, newUri, options) {\r\n var result = {\r\n kind: 'rename',\r\n …
Djson.worker.js.map1oldUri, newUri, options) {\r\n var result = {\r\n kind: 'rename',\r\n …
D3.3.js.map1oldUri, newUri, options) {\n var result = {\n kind: 'rename',\n oldUr…
D2.2.js.map1oldUri, newUri, options) {\n var result = {\n kind: 'rename',\n oldUr…
Dbundle.js.map1oldUri));\n}\nfunction isWorkspaceTextEdit(thing) {\n return isObject(thing) && URI.isUri(thing…
/plugin/dirtylittlehelper/mermaid/editor/
D6.6.js1oldUri:e,newUri:t};return void 0===r||void 0===r.overwrite&&void 0===r.ignoreIfExists||(n.options=… property
/plugin/mermaid/
H A Dmermaid.min.js816oldUri:n,newUri:i};return a!==void 0&&(a.overwrite!==void 0||a.ignoreIfExists!==void 0)&&(l.option… property