make new editor pinned

jdneo · jdneo · commit b7e3f2211127 · 2018-02-15T15:14:10.000+08:00
diff --git a/src/commands/show.ts b/src/commands/show.ts
@@ -47,7 +47,7 @@ async function showProblemInternal(id: string): Promise<void> {
         const reg: RegExp = /\* Source Code:\s*(.*)/;
         const match: RegExpMatchArray | null = result.match(reg);
         if (match && match.length >= 2) {
-            await vscode.window.showTextDocument(vscode.Uri.file(match[1].trim()));
+            await vscode.window.showTextDocument(vscode.Uri.file(match[1].trim()), { preview: false });
         } else {
             throw new Error("Failed to fetch the problem information");
         }

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ async function showProblemInternal(id: string): Promise<void> {`
`47`	`47`	`const reg: RegExp = /\* Source Code:\s(.)/;`
`48`	`48`	`const match: RegExpMatchArray \| null = result.match(reg);`
`49`	`49`	`if (match && match.length >= 2) {`
`50`		`- await vscode.window.showTextDocument(vscode.Uri.file(match[1].trim()));`
	`50`	`+ await vscode.window.showTextDocument(vscode.Uri.file(match[1].trim()), { preview: false });`
`51`	`51`	`} else {`
`52`	`52`	`throw new Error("Failed to fetch the problem information");`
`53`	`53`	`}`