prepend

Author: heyzec

language-configuration.json

@@ -23,6 +23,12 @@
     { "open": "'", "close": "'" },
     { "open": "\"", "close": "\"" }
   ],
+  "folding": {
+    "markers": {
+      "start": "// PREPEND -- DO NOT EDIT",
+      "end": "// END PREPEND"
+    }
+  },
   "wordPattern": "[_$a-zA-Z][_$a-zA-Z0-9]*",
   "indentationRules": {
     "increaseIndentPattern": "^((?!\\/\\/).)*(\\{[^}\"'`]*|\\([^)\"'`]*|\\[[^\\]\"'`]*)$",

src/commands/showPanel.tsx

@@ -47,6 +47,7 @@ async function handleMessage(
           message.workspaceLocation,
           message.assessmentName,
           message.questionId,
+          message.prepend,
           message.initialCode,
         );
         activeEditor.uri;
@@ -55,7 +56,8 @@ async function handleMessage(
           // TODO: Write our own wrapper to set nested keys easily, removing lodash
           // @ts-ignore
           _.set(info, `["${activeEditor.uri}"].chapter`, message.chapter);
-          _.set(info, `["${activeEditor.uri}"].prepend`, message.prepend);
+          const nPrependLines = message.prepend.split("\n").length;
+          _.set(info, `["${activeEditor.uri}"].prepend`, nPrependLines);
           context.globalState.update("info", info);
           client.sendNotification("source/publishInfo", info);
         }

src/utils/editor.ts

@@ -42,6 +42,7 @@ export class Editor {
     workspaceLocation: VscWorkspaceLocation,
     assessmentName: string,
     questionId: number,
+    prepend: string = "",
     initialCode: string = "",
   ): Promise<Editor> {
     const self = new Editor(workspaceLocation, assessmentName, questionId);
@@ -64,13 +65,20 @@ export class Editor {
     const uri = vscode.Uri.file(filePath);
     self.uri = uri.toString();
 
+    const contents = [
+      "// PREPEND -- DO NOT EDIT",
+      prepend,
+      "// END PREPEND",
+      initialCode,
+    ].join("\n");
+
     await vscode.workspace.fs.readFile(vscode.Uri.file(filePath)).then(
       () => null,
       async () => {
         self.log(`Opening file failed, creating at ${filePath}`);
         await vscode.workspace.fs.writeFile(
           uri,
-          new TextEncoder().encode(initialCode),
+          new TextEncoder().encode(contents),
         );
       },
     );
@@ -79,6 +87,11 @@ export class Editor {
       preview: true,
       viewColumn: vscode.ViewColumn.One,
     });
+    editor.selection = new vscode.Selection(
+      editor.document.positionAt(0),
+      editor.document.positionAt(1),
+    );
+    vscode.commands.executeCommand("editor.fold");
 
     self.editor = editor;
     vscode.workspace.onDidChangeTextDocument(() => {