diff options
| author | Ty Dunn <ty@tydunn.com> | 2023-07-05 23:20:06 -0700 |
|---|---|---|
| committer | Ty Dunn <ty@tydunn.com> | 2023-07-05 23:20:06 -0700 |
| commit | 4fd50ba78b0199d3495f1cd7e08f595a751e6fe3 (patch) | |
| tree | cb74b1ab31218ee1ba523cf924170969f2308bb0 /continuedev/src/continuedev/server | |
| parent | d5a92ae77ab692c4f7d57e041a2927a41d8133bd (diff) | |
| parent | d259979ef89f17957396fc7300e1ecf54214ae84 (diff) | |
| download | sncontinue-4fd50ba78b0199d3495f1cd7e08f595a751e6fe3.tar.gz sncontinue-4fd50ba78b0199d3495f1cd7e08f595a751e6fe3.tar.bz2 sncontinue-4fd50ba78b0199d3495f1cd7e08f595a751e6fe3.zip | |
Merge branch 'main' of github.com:continuedev/continue
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)): |