diff options
author | Nate Sesti <sestinj@gmail.com> | 2023-07-05 23:49:37 -0700 |
---|---|---|
committer | Nate Sesti <sestinj@gmail.com> | 2023-07-05 23:49:37 -0700 |
commit | 62756b491d6b4ed06db59bf3b096ce2ed92ddbaf (patch) | |
tree | e8c8d57144e5317ab262ab3348bcfad9f65478fe /continuedev/src/continuedev/server | |
parent | 22b02641b4b14ffad32914d046e645cf6f850253 (diff) | |
download | sncontinue-62756b491d6b4ed06db59bf3b096ce2ed92ddbaf.tar.gz sncontinue-62756b491d6b4ed06db59bf3b096ce2ed92ddbaf.tar.bz2 sncontinue-62756b491d6b4ed06db59bf3b096ce2ed92ddbaf.zip |
ui overhaul
Diffstat (limited to 'continuedev/src/continuedev/server')
-rw-r--r-- | continuedev/src/continuedev/server/gui.py | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/continuedev/src/continuedev/server/gui.py b/continuedev/src/continuedev/server/gui.py index fa573b37..8e9b1fb9 100644 --- a/continuedev/src/continuedev/server/gui.py +++ b/continuedev/src/continuedev/server/gui.py @@ -87,6 +87,10 @@ class GUIProtocolServer(AbstractGUIProtocolServer): self.on_delete_context_at_indices(data["indices"]) elif message_type == "toggle_adding_highlighted_code": self.on_toggle_adding_highlighted_code() + elif message_type == "set_editing_at_indices": + self.on_set_editing_at_indices(data["indices"]) + elif message_type == "set_pinned_at_indices": + self.on_set_pinned_at_indices(data["indices"]) except Exception as e: print(e) @@ -135,6 +139,16 @@ class GUIProtocolServer(AbstractGUIProtocolServer): self.session.autopilot.toggle_adding_highlighted_code() ) + def on_set_editing_at_indices(self, indices: List[int]): + asyncio.create_task( + self.session.autopilot.set_editing_at_indices(indices) + ) + + def on_set_pinned_at_indices(self, indices: List[int]): + asyncio.create_task( + self.session.autopilot.set_pinned_at_indices(indices) + ) + @router.websocket("/ws") async def websocket_endpoint(websocket: WebSocket, session: Session = Depends(websocket_session)): |