From f8b782bd680bda815e37ae2896169e396eb1f0ac Mon Sep 17 00:00:00 2001
From: Asher <ash@coder.com>
Date: Tue, 15 Dec 2020 11:14:21 -0600
Subject: [PATCH] Move ignore-last-opened to ipc.d.ts

This is so it can be used in VS Code. Don't tell anyone but I forgot to
run `yarn ci`.
---
 ci/dev/vscode.patch | 5 +++--
 src/node/cli.ts     | 3 +--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/ci/dev/vscode.patch b/ci/dev/vscode.patch
index 60e95dfee..b001441d4 100644
--- a/ci/dev/vscode.patch
+++ b/ci/dev/vscode.patch
@@ -1499,10 +1499,10 @@ index 0000000000000000000000000000000000000000..56331ff1fc32bbd82e769aaecb551e42
 +require('../../bootstrap-amd').load('vs/server/entry');
 diff --git a/src/vs/server/ipc.d.ts b/src/vs/server/ipc.d.ts
 new file mode 100644
-index 0000000000000000000000000000000000000000..bf45e75aaf0dc8953ee6fee97fe02149879d3d72
+index 0000000000000000000000000000000000000000..bc605f03881109ce560c751b550ecaba4671cc74
 --- /dev/null
 +++ b/src/vs/server/ipc.d.ts
-@@ -0,0 +1,139 @@
+@@ -0,0 +1,140 @@
 +/**
 + * External interfaces for integration into code-server over IPC. No vs imports
 + * should be made in this file.
@@ -1570,6 +1570,7 @@ index 0000000000000000000000000000000000000000..bf45e75aaf0dc8953ee6fee97fe02149
 +	'builtin-extensions-dir'?: string;
 +	'extra-extensions-dir'?: string[];
 +	'extra-builtin-extensions-dir'?: string[];
++	'ignore-last-opened'?: boolean;
 +
 +	locale?: string
 +
diff --git a/src/node/cli.ts b/src/node/cli.ts
index 695d5aa63..12f4bd935 100644
--- a/src/node/cli.ts
+++ b/src/node/cli.ts
@@ -52,7 +52,6 @@ export interface Args extends VsArgs {
   "proxy-domain"?: string[]
   locale?: string
   _: string[]
-  "ignore-last-opened"?: boolean
   "reuse-window"?: boolean
   "new-window"?: boolean
 
@@ -176,7 +175,7 @@ const options: Options<Required<Args>> = {
   "ignore-last-opened": {
     type: "boolean",
     short: "e",
-    description: "Ignore the last opened directory or workspace in favor of an empty window."
+    description: "Ignore the last opened directory or workspace in favor of an empty window.",
   },
   "new-window": {
     type: "boolean",