Home
last modified time | relevance | path

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

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