[mod] symbols

This commit is contained in:
Andy Bunce 2022-03-06 23:46:59 +00:00
parent 9dd58b2b70
commit e945532956
12 changed files with 272 additions and 203 deletions

View file

@ -4,23 +4,23 @@ const ExtensionTopLevelSection = "basexTools";
export class Configuration {
static get enableXmlTreeView(): boolean {
return this._getForWindow<boolean>("enableXmlTreeView");
return this._getForWindow<boolean>("xmlTree.enableTreeView");
}
static get enableXmlTreeViewMetadata(): boolean {
return this._getForWindow<boolean>("enableXmlTreeViewMetadata");
return this._getForWindow<boolean>("xmlTree.enableViewMetadata");
}
static get enableXmlTreeViewCursorSync(): boolean {
return this._getForWindow<boolean>("enableXmlTreeViewCursorSync");
static get enableViewCursorSync(): boolean {
return this._getForWindow<boolean>("xmlTree.enableViewCursorSync");
}
static get ignoreDefaultNamespace(): boolean {
return this._getForWindow<boolean>("ignoreDefaultNamespace");
return this._getForWindow<boolean>("xpath.ignoreDefaultNamespace");
}
static get persistXPathQuery(): boolean {
return this._getForWindow<boolean>("persistXPathQuery");
return this._getForWindow<boolean>("xpath.persistXPathQuery");
}
static get xmlFormatterImplementation(): string {

View file

@ -1,9 +1,9 @@
// debug messages
import { OutputChannel, window } from "vscode";
// eslint-disable-next-line @typescript-eslint/no-var-requires
const XQLint = require("@quodatum/xqlint").XQLint;
const ver = require("@quodatum/xqlint").version;
const _channel:OutputChannel = window.createOutputChannel("BaseX log");
const _channel:OutputChannel = window.createOutputChannel("BaseX");
function logdate(){
return (new Date()).toISOString().slice(0, 19).replace(/-/g, "/").replace("T", " ");
}
@ -19,5 +19,5 @@ export class channel {
_channel.show
}
}
channel.log("started, XQLint version: "+XQLint.version);
channel.log("started, XQLint version: "+ver);
_channel.show