chore: fix lint issue in patch

This commit is contained in:
Joe Previte 2020-12-09 16:46:09 -07:00
parent f84174e331
commit 77ddac28fe
No known key found for this signature in database
GPG Key ID: 2C91590C6B742C24

View File

@ -3321,7 +3321,7 @@ index 0000000000000000000000000000000000000000..57213f92828fafefcab0e3c401a1e8ed
+} +}
diff --git a/src/vs/server/node/server.ts b/src/vs/server/node/server.ts diff --git a/src/vs/server/node/server.ts b/src/vs/server/node/server.ts
new file mode 100644 new file mode 100644
index 0000000000000000000000000000000000000000..04e56c907774a96453fded9254c70f7844917d76 index 0000000000000000000000000000000000000000..0f4d31a961be1c055163b0cf29d550d7af5146e6
--- /dev/null --- /dev/null
+++ b/src/vs/server/node/server.ts +++ b/src/vs/server/node/server.ts
@@ -0,0 +1,308 @@ @@ -0,0 +1,308 @@
@ -3435,7 +3435,7 @@ index 0000000000000000000000000000000000000000..04e56c907774a96453fded9254c70f78
+ ], + ],
+ }, + },
+ homeIndicator: { + homeIndicator: {
+ href: options.args.home || "https://github.com/cdr/code-server", + href: options.args.home || 'https://github.com/cdr/code-server',
+ icon: 'code', + icon: 'code',
+ title: localize('home', "Home"), + title: localize('home', "Home"),
+ }, + },