From c2455dfef551578bd547688734e21fb7a9a776ef Mon Sep 17 00:00:00 2001 From: Anh Nguyet Vu Date: Wed, 19 Feb 2025 15:09:29 -0800 Subject: [PATCH] Update HTML --- resources/public/index.html | 37 +++++++++++++++++++++++++++++++------ 1 file changed, 31 insertions(+), 6 deletions(-) diff --git a/resources/public/index.html b/resources/public/index.html index b54059a..45e0f6d 100644 --- a/resources/public/index.html +++ b/resources/public/index.html @@ -56,17 +56,33 @@
- Save - Stop + +
-
+
- - + +
+
+ + +
@@ -82,6 +98,15 @@ const modalContainer = document.getElementById('modal-container'); const ws = new WebSocket('ws://' + window.location.host + '/ws'); + function insertShortcut(type) { + const shortcuts = { + visualize: "I want to quickly understand data in table syn123456, perhaps with the aid of exploratory visualizations.", + curate: "Help me curate an external resource at http://example.org into Synapse. I want to add the new entity to collection syn999999." + }; + messageInput.value = shortcuts[type]; + messageInput.focus(); + } + function loadOptionsModal() { fetch('/options-modal') .then(response => response.text()) @@ -248,4 +273,4 @@ - + \ No newline at end of file