diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-07-05 01:04:33 -0700 | 
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-07-05 01:04:33 -0700 | 
| commit | 8f080c4d2447e3eb66db448c08324ee71614709e (patch) | |
| tree | 24d45ee5b65637469ecbf685478d32ddbf8f0d90 /continuedev/src/continuedev/server | |
| parent | 2b8f7b079bf6335b53c0d08f1c639bb316d5fc4c (diff) | |
| download | sncontinue-8f080c4d2447e3eb66db448c08324ee71614709e.tar.gz sncontinue-8f080c4d2447e3eb66db448c08324ee71614709e.tar.bz2 sncontinue-8f080c4d2447e3eb66db448c08324ee71614709e.zip | |
highlighted code improvements
Diffstat (limited to 'continuedev/src/continuedev/server')
| -rw-r--r-- | continuedev/src/continuedev/server/gui.py | 7 | 
1 files changed, 7 insertions, 0 deletions
| diff --git a/continuedev/src/continuedev/server/gui.py b/continuedev/src/continuedev/server/gui.py index 4e960f7c..fa573b37 100644 --- a/continuedev/src/continuedev/server/gui.py +++ b/continuedev/src/continuedev/server/gui.py @@ -85,6 +85,8 @@ class GUIProtocolServer(AbstractGUIProtocolServer):                  self.on_delete_at_index(data["index"])              elif message_type == "delete_context_at_indices":                  self.on_delete_context_at_indices(data["indices"]) +            elif message_type == "toggle_adding_highlighted_code": +                self.on_toggle_adding_highlighted_code()          except Exception as e:              print(e) @@ -128,6 +130,11 @@ class GUIProtocolServer(AbstractGUIProtocolServer):              self.session.autopilot.delete_context_at_indices(indices)          ) +    def on_toggle_adding_highlighted_code(self): +        asyncio.create_task( +            self.session.autopilot.toggle_adding_highlighted_code() +        ) +  @router.websocket("/ws")  async def websocket_endpoint(websocket: WebSocket, session: Session = Depends(websocket_session)): | 
