diff options
Diffstat (limited to 'extension')
| -rw-r--r-- | extension/react-app/src/pages/history.tsx | 2 | ||||
| -rw-r--r-- | extension/src/diffs.ts | 4 |
2 files changed, 2 insertions, 4 deletions
diff --git a/extension/react-app/src/pages/history.tsx b/extension/react-app/src/pages/history.tsx index 01cb71e0..63024e36 100644 --- a/extension/react-app/src/pages/history.tsx +++ b/extension/react-app/src/pages/history.tsx @@ -148,7 +148,7 @@ function History() { } return workspacePaths.includes(session.workspace_directory); }).length === 0 && ( - <div className="text-center my-4"> + <div className="text-center m-4"> No past sessions found. To start a new session, either click the "+" button or use the keyboard shortcut: <b>Option + Command + N</b> </div> diff --git a/extension/src/diffs.ts b/extension/src/diffs.ts index 426415fc..bdf9903b 100644 --- a/extension/src/diffs.ts +++ b/extension/src/diffs.ts @@ -62,9 +62,7 @@ class DiffManager { } private escapeFilepath(filepath: string): string { - return filepath - .replace(/\//g, "$forwardslash$") - .replace(/\\/g, "$backslash$"); + return filepath.replace(/\//g, "$f$").replace(/\\/g, "$b$"); } private remoteTmpDir: string = "/tmp/continue"; |