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/completions.ts

@@ -55,7 +55,6 @@ function getCurrentTag(
   return currentTag;
 }
 
-
 // Types for snippets
 type Snippet = {
   prefix: string;

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,

src/formatter.ts

@@ -164,7 +164,17 @@ const math_display = ["me", "men", "md", "mdn"];
 
 const footnote_like = ["fn"];
 
-const nestable_tags = ["ul", "ol", "li", "p", "task", "figure", "sidebyside", "notation", "row"];
+const nestable_tags = [
+  "ul",
+  "ol",
+  "li",
+  "p",
+  "task",
+  "figure",
+  "sidebyside",
+  "notation",
+  "row",
+];
 
 // note that c is special, because it is inline verbatim
 const verbatimTags = [
@@ -249,7 +259,10 @@ export function formatPTX(document: vscode.TextDocument): vscode.TextEdit[] {
   for (let btag of blockTags) {
     if (allText.includes("<" + btag)) {
       // start tag can be <tag>, <tag attr="val">, or <tag xmlns="..."> but shouldn't be self closing (no self closing tag would have xmlns in it)
-      let startTag = new RegExp("<" + btag + "(>|([^/]*?)>|(.*xmlns.*?)>)", "g");
+      let startTag = new RegExp(
+        "<" + btag + "(>|([^/]*?)>|(.*xmlns.*?)>)",
+        "g"
+      );
       let endTag = new RegExp("<\\/" + btag + ">(.?)", "g");
       allText = allText.replace(startTag, "\n$&\n");
       allText = allText.replace(endTag, "\n$&\n");
@@ -259,7 +272,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 +306,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);
@@ -318,13 +331,18 @@ export function formatPTX(document: vscode.TextDocument): vscode.TextEdit[] {
       fixedLines.push(line);
     } else {
       if (breakSentences) {
-        trimmedLine = trimmedLine.replace(/\.\s+/g, ".\n" + indentChar.repeat(level));
+        trimmedLine = trimmedLine.replace(
+          /\.\s+/g,
+          ".\n" + indentChar.repeat(level)
+        );
       }
       fixedLines.push(indentChar.repeat(level) + trimmedLine);
     }
   }
   // Second pass: add empty line between appropriate tags depending on blankLines setting.
-  const blankLines = vscode.workspace.getConfiguration("pretext-tools").get("formatter.blankLines");
+  const blankLines = vscode.workspace
+    .getConfiguration("pretext-tools")
+    .get("formatter.blankLines");
   switch (blankLines) {
     case "few":
       // do nothing
@@ -345,7 +363,11 @@ 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";
         }
       }

src/latextopretext.ts

@@ -112,7 +112,7 @@ function makeLines(text: string) {
       if (
         lines[i].length > 0 &&
         lines[i + 1].length > 0 &&
-        (lines[i+1].startsWith("\\[") ||
+        (lines[i + 1].startsWith("\\[") ||
           lines[i + 1].startsWith("\\]") ||
           (!lines[i].startsWith("\\") && !lines[i + 1].startsWith("\\")))
       ) {