From bead1d26da01ee7fc5246b59684e456aac28b1af Mon Sep 17 00:00:00 2001
From: andy bunce <bunce.andy@gmail.com>
Date: Mon, 27 Feb 2023 11:37:20 +0000
Subject: [PATCH] [mod] Rename setting `platform` to `processor`

---
 CHANGELOG.md                | 5 ++++-
 package.json                | 8 ++++----
 src/common/configuration.ts | 4 ++--
 src/common/xqlint.ts        | 6 +++---
 4 files changed, 13 insertions(+), 10 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 76c4ae3..00d6d10 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,9 @@
+# 0.1.3 (2023-02-27)
+* Rename setting `platform` to `processor`
+
 # 0.1.2 (2023-02-26)
 * update to xqlint 0.2.1
-* add setting platform
+* add setting `platform`
 * common XQlint configuration.
 
 # 0.1.1 (2023-02-24)
diff --git a/package.json b/package.json
index 40a8f92..995ab83 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
   "name": "vscode-basex",
   "displayName": "BaseX tools",
   "description": "BaseX tools: XQuery, XML, XPath Tools for Visual Studio Code",
-  "version": "0.1.2",
+  "version": "0.1.3",
   "preview": true,
   "publisher": "quodatum",
   "author": "Andy Bunce (https://github.com/Quodatum)",
@@ -75,7 +75,7 @@
         "order": 1,
         "title": "XQuery UI",
         "properties": {
-          "basexTools.xquery.platform": {
+          "basexTools.xquery.processor": {
             "type": "string",
             "default": "basex",
             "enum": [
@@ -83,10 +83,10 @@
               "none"
             ],
             "enumDescriptions": [
-              "BaseX 9.7.5 ",
+              "Currently targets BaseX 9.7.5 ",
               "no custom libraries"
             ],
-            "description": "XQuery implementation. Determines syntax and core module libraries."
+            "description": "The XQuery processor. Determines syntax and core module libraries."
           },
           "basexTools.xquery.showHovers": {
             "type": "boolean",
diff --git a/src/common/configuration.ts b/src/common/configuration.ts
index fa67366..edad6b1 100644
--- a/src/common/configuration.ts
+++ b/src/common/configuration.ts
@@ -46,8 +46,8 @@ export class Configuration {
     static get xqueryExecutionInputSearchPattern(): string {
         return this._getForWindow<string>("xquery.executionInputSearchPattern");
     }
-    static get xqueryPlatform(): string {
-        return this._getForWindow<string>("xquery.platform");
+    static get xqueryProcessor(): string {
+        return this._getForWindow<string>("xquery.processor");
     }
     static xqueryShowHovers(resource: Uri): boolean {
         return this._getForResource<boolean>("xquery.showHovers", resource);
diff --git a/src/common/xqlint.ts b/src/common/xqlint.ts
index 11452a8..3f7a9d2 100644
--- a/src/common/xqlint.ts
+++ b/src/common/xqlint.ts
@@ -4,8 +4,8 @@ import { channel } from "../common/logger";
 
 export class factory{
     static XQLint( txt: string) :ext.XQLint{
-    const platform= Configuration.xqueryPlatform;
-    channel.log(platform);
-    return new ext.XQLint(txt, {"platform": platform, "styleCheck": false })
+    const processor= Configuration.xqueryProcessor;
+    channel.log(processor);
+    return new ext.XQLint(txt, {"processor": processor, "styleCheck": false })
   }
 }