diff options
| author | Nate Sesti <33237525+sestinj@users.noreply.github.com> | 2023-07-12 22:03:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-12 22:03:40 -0700 |
| commit | 9296105248b522cfdf7884748ca4be8375657c0b (patch) | |
| tree | d051f68372572d7327ff6912928648da8b3a3662 /docs | |
| parent | b3ab5bda368fcae690837f9ce8062dc7f17c6472 (diff) | |
| parent | 9558a3602c8678dacd3087bf6512b1bc4c96bc22 (diff) | |
| download | sncontinue-9296105248b522cfdf7884748ca4be8375657c0b.tar.gz sncontinue-9296105248b522cfdf7884748ca4be8375657c0b.tar.bz2 sncontinue-9296105248b522cfdf7884748ca4be8375657c0b.zip | |
Merge pull request #243 from continuedev/reconnect-persist-state
Reconnect persist state
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/docs/concepts/ide.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/docs/concepts/ide.md b/docs/docs/concepts/ide.md index dc7b9e23..bd31481b 100644 --- a/docs/docs/concepts/ide.md +++ b/docs/docs/concepts/ide.md @@ -41,9 +41,9 @@ Get the workspace directory Set whether a file is open
-### openGUI
+### getSessionId
-Open a gui
+Get a new session ID
### showSuggestionsAndWait
|