[mod] xmlTools ->basexTools

This commit is contained in:
Andy Bunce 2022-02-05 22:40:34 +00:00
parent 4cbf4cb568
commit c275d88f77
7 changed files with 232 additions and 78 deletions

View file

@ -1,6 +1,6 @@
import { workspace, Uri } from "vscode";
const ExtensionTopLevelSection = "xmlTools";
const ExtensionTopLevelSection = "basexTools";
export class Configuration {
static get enableXmlTreeView(): boolean {