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 | a5386d7897f5e3f3f7443246de3a443f5b2179d0 (patch) | |
| tree | aa51a50475d06efc4d1f039dad8068363e08fee4 /continuedev/src/continuedev/server | |
| parent | c0177d013e79593e6444069feec08bc2dff9c157 (diff) | |
| parent | 22b02641b4b14ffad32914d046e645cf6f850253 (diff) | |
| download | sncontinue-a5386d7897f5e3f3f7443246de3a443f5b2179d0.tar.gz sncontinue-a5386d7897f5e3f3f7443246de3a443f5b2179d0.tar.bz2 sncontinue-a5386d7897f5e3f3f7443246de3a443f5b2179d0.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)): |