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 | 36f3845a18ed65ff6784b99cb34d9f6c4a7e0143 (patch) | |
| tree | 1cf0c19438129b5fd6ba802da3397f3514c35ec4 /continuedev/src/continuedev/server | |
| parent | bf34e1d6a01214a6977a2932b4ee2b413d524957 (diff) | |
| download | sncontinue-36f3845a18ed65ff6784b99cb34d9f6c4a7e0143.tar.gz sncontinue-36f3845a18ed65ff6784b99cb34d9f6c4a7e0143.tar.bz2 sncontinue-36f3845a18ed65ff6784b99cb34d9f6c4a7e0143.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)):  | 
