summaryrefslogtreecommitdiff
path: root/continuedev/src/continuedev/server
diff options
context:
space:
mode:
authorNate Sesti <sestinj@gmail.com>2023-07-05 23:49:37 -0700
committerNate Sesti <sestinj@gmail.com>2023-07-05 23:49:37 -0700
commit62756b491d6b4ed06db59bf3b096ce2ed92ddbaf (patch)
treee8c8d57144e5317ab262ab3348bcfad9f65478fe /continuedev/src/continuedev/server
parent22b02641b4b14ffad32914d046e645cf6f850253 (diff)
downloadsncontinue-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.py14
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)):