format

package.json

@@ -210,7 +210,7 @@
             "markdownDescription": "Select which method to use when viewing the output of a pretext project.  Leaving this at the default will ask for available methods each time.  Your choice will likely depend on the size of your project and whether you are building output other than the 'web' target."
           },
           "pretext-tools.formatter.blankLines": {
-            "type":"string",
+            "type": "string",
             "default": "some",
             "enum": [
               "few",
@@ -304,4 +304,4 @@
   "prettier": {
     "tabWidth": 2
   }
-}
+}

src/extension.ts

@@ -193,7 +193,6 @@ export async function activate(context: vscode.ExtensionContext) {
     "log"
   );
 
-  // set up status bar item
   // set up status bar item
   ptxSBItem = vscode.window.createStatusBarItem(
     vscode.StatusBarAlignment.Left,
@@ -212,15 +211,16 @@ export async function activate(context: vscode.ExtensionContext) {
   let ptxInstalled = utils.ptxExec !== "";
   console.log("Pretext is installed is:", ptxInstalled);
 
+
   var targetSelection = utils.getTargets();
   console.log("targetSelection is:", targetSelection);
   lastTarget = targetSelection[0].label;
   pretextCommandList[0].label = "Build " + lastTarget;
   console.log(
     "Targets are now:" +
-      targetSelection.map(function (obj) {
-        return " " + obj.label;
-      })
+    targetSelection.map(function (obj) {
+      return " " + obj.label;
+    })
   );
 
   ///////////////// Formatter //////////////////////
@@ -502,15 +502,15 @@ export async function activate(context: vscode.ExtensionContext) {
       targetSelection = utils.getTargets();
       console.log(
         "Targets are now:" +
-          targetSelection.map(function (obj) {
-            return " " + obj.label;
-          })
+        targetSelection.map(function (obj) {
+          return " " + obj.label;
+        })
       );
       vscode.window.showInformationMessage(
         "Refreshed list of targets.  Targets are now:" +
-          targetSelection.map(function (obj) {
-            return " " + obj.label;
-          })
+        targetSelection.map(function (obj) {
+          return " " + obj.label;
+        })
       );
     })
   );

src/formatter.ts

@@ -259,7 +259,7 @@ export function formatPTX(document: vscode.TextDocument): vscode.TextEdit[] {
     let startTag = new RegExp("<" + tag + "(.*?)>", "g");
     let endTag = new RegExp("<\\/" + tag + ">(.?)", "g");
     let selfCloseTag = new RegExp("<" + tag + "(.*?)/>", "g");
-    allText = allText.replace(startTag, "\n$&");  
+    allText = allText.replace(startTag, "\n$&");
     allText = allText.replace(endTag, "$&\n");
     allText = allText.replace(selfCloseTag, "$&\n");
   }
@@ -293,7 +293,7 @@ export function formatPTX(document: vscode.TextDocument): vscode.TextEdit[] {
       continue;
     } else if (trimmedLine.startsWith("<?")) {
       // It's the start line of the file:
-      fixedLines.push(trimmedLine+"\n");
+      fixedLines.push(trimmedLine + "\n");
     } else if (trimmedLine.startsWith("<!--")) {
       // It's a comment:
       fixedLines.push(indentChar.repeat(level) + trimmedLine);
@@ -345,7 +345,7 @@ export function formatPTX(document: vscode.TextDocument): vscode.TextEdit[] {
       break;
     case "many":
       for (let i = 0; i < fixedLines.length - 1; i++) {
-        if (fixedLines[i].trim().startsWith("</") || (fixedLines[i].trim().startsWith("<") && fixedLines[i+1].trim().startsWith("<"))) {
+        if (fixedLines[i].trim().startsWith("</") || (fixedLines[i].trim().startsWith("<") && fixedLines[i + 1].trim().startsWith("<"))) {
           fixedLines[i] += "\n";
         }
       }