[mod] release 0.5.2

This commit is contained in:
Andy Bunce 2022-06-07 16:29:12 +01:00
parent cfc8ba3817
commit 47baf6f2b9
13 changed files with 243 additions and 66 deletions

View file

@ -11,7 +11,7 @@ export class Configuration {
return this._getForWindow<boolean>("xmlTree.enableViewMetadata");
}
static get enableViewCursorSync(): boolean {
static get enableXmlTreeViewCursorSync(): boolean {
return this._getForWindow<boolean>("xmlTree.enableViewCursorSync");
}
@ -28,19 +28,19 @@ export class Configuration {
}
static get xqueryExecutionArguments(): string[] {
return this._getForWindow<string[]>("xqueryExecutionArguments");
return this._getForWindow<string[]>("xquery.executionArguments");
}
static get xqueryExecutionEngine(): string {
return this._getForWindow<string>("xqueryExecutionEngine");
return this._getForWindow<string>("xquery.executionEngine");
}
static get xqueryExecutionInputLimit(): number {
return this._getForWindow<number>("xqueryExecutionInputLimit");
return this._getForWindow<number>("xquery.executionInputLimit");
}
static get xqueryExecutionInputSearchPattern(): string {
return this._getForWindow<string>("xqueryExecutionInputSearchPattern");
return this._getForWindow<string>("xquery.executionInputSearchPattern");
}
static enforcePrettySelfClosingTagOnFormat(resource: Uri): boolean {

View file

@ -4,6 +4,7 @@ import { OutputChannel, window } from "vscode";
const ver = require("@quodatum/xqlint").version;
const _channel:OutputChannel = window.createOutputChannel("BaseX");
function logdate(){
return (new Date()).toISOString().slice(0, 19).replace(/-/g, "/").replace("T", " ");
}