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 | 5c03dd4775845c559a1f6298f7577609ba907bb1 (patch) | |
tree | e3767487c3714191a9f67b6c6f8879fa08c75830 /continuedev/src/continuedev/server | |
parent | d259979ef89f17957396fc7300e1ecf54214ae84 (diff) | |
download | sncontinue-5c03dd4775845c559a1f6298f7577609ba907bb1.tar.gz sncontinue-5c03dd4775845c559a1f6298f7577609ba907bb1.tar.bz2 sncontinue-5c03dd4775845c559a1f6298f7577609ba907bb1.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)): |