Revert Settings Changes

I'll come back to this later after some better planning.

Issue: #184
This commit is contained in:
Josh Johnson 2018-06-11 18:29:35 -04:00
parent 939569a5d2
commit de1fff2e80
8 changed files with 60 additions and 171 deletions

View file

@ -15,8 +15,8 @@ export async function executeXQuery(editor: TextEditor, edit: TextEditorEdit): P
return;
}
const executable = Configuration.xqueryExecutable;
let args = Configuration.xqueryExecutableArgs || [];
const executable = Configuration.xqueryExecutionEngine;
let args = Configuration.xqueryExecutionArguments || [];
if (!executable || executable === "") {
const action = await window.showWarningMessage("An XQuery execution engine has not been defined.", "Define Now");
@ -31,8 +31,8 @@ export async function executeXQuery(editor: TextEditor, edit: TextEditorEdit): P
let inputFile: Uri;
disposable = window.setStatusBarMessage("Searching for XML files in folder...");
const searchPattern = Configuration.xqueryInputFilesSearchPattern;
const inputLimit = Configuration.xqueryInputFilesLimit;
const searchPattern = Configuration.xqueryExecutionInputSearchPattern;
const inputLimit = Configuration.xqueryExecutionInputLimit;
const files = await workspace.findFiles(searchPattern, "", inputLimit);