annotate src/chat.html.luan @ 25:3a80ddafe5a4

courses work
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 01 Aug 2025 00:33:51 -0600
parents 87fe70201aa8
children 176a182c02cf
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local Io = require "luan:Io.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local Http = require "luan:http/Http.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local Shared = require "site:/lib/Shared.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local head = Shared.head or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local header = Shared.header or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
8 local started = Shared.started or error()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
9 local User = require "site:/lib/User.luan"
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 18
diff changeset
10 local current_user = User.current_required or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
11 local Chat = require "site:/lib/Chat.luan"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
12 local get_chat_by_id = Chat.get_by_id or error()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 return function()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
16 local user = current_user()
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 18
diff changeset
17 if user == nil then return end
18
820136c5ee33 add new_chat.red
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
18 local chat_id = Http.request.parameters.chat or error()
820136c5ee33 add new_chat.red
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
19 local chat = get_chat_by_id(chat_id) or error()
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
20 local added_message = chat.init_ai()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 Io.stdout = Http.response.text_writer()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 <!doctype html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 <html lang="en">
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 <head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 <% head() %>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
27 <style>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
28 @import "/chat.css?s=<%=started%>";
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
29 </style>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
30 <script>
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
31 let chatId = <%= chat.id %>;
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
32 </script>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
33 <script src="/chat.js?s=<%=started%>"></script>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 </head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 <body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 <% header() %>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
37 <div content ai_container>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
38 <div top>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
39 <h3 name><%= chat.name_html() %></h3>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
40 <span pulldown>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
41 <img onclick="clickMenu(this)" src="/images/menu.svg">
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
42 <div>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
43 <span onclick="renameChat()">Rename Chat</span>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
44 <span onclick="deleteChat()">Delete Chat</span>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
45 <span onclick="systemPrompt()">System Prompt</span>
1
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
46 </div>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
47 </span>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
48 </div>
7
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
49 <div messages>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
50 <% chat.output_messages_html() %>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
51 </div>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
52 <div ask>
11
003a90ce72d7 minor fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
53 <textarea autofocus oninput="fixTextarea(event.target)" onkeydown="textareaKey(event)"></textarea>
14
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
54 <div buttons>
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
55 <button record onclick="toggleRecording()">Record</button>
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
56 <button onclick="askAi()" title="Send"><img src="/images/send.svg"></button>
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
57 </div>
1
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
58 </div>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 </div>
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
60 <img waiting-ai-icon src="/images/spinner_green.gif">
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
61 <dialog rename>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
62 <h2>Rename Chat</h2>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
63 <form action="javascript:saveRenameChat()">
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
64 <p>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
65 <label>Chat name</label><br>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
66 <input name=name required><br>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
67 <span error></span>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
68 </p>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
69 <div buttons>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
70 <button type=button onclick="closeModal(this)">Cancel</button>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
71 <button type=submit>Rename</button>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
72 </div>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
73 </form>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
74 </dialog>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
75 <dialog delete>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
76 <h2>Delete Chat</h2>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
77 <p>Are you sure that you want to delete this chat?</p>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
78 <div buttons>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
79 <button onclick="closeModal(this)">Cancel</button>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
80 <button onclick="doDeleteChat(this)">Delete</button>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
81 </div>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
82 </dialog>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
83 <dialog system_prompt>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
84 <h2>System Prompt</h2>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
85 <div system_prompt>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
86 <% chat.output_system_prompt() %>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
87 </div>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
88 <div buttons>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
89 <button onclick="closeModal(this)">Close</button>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
90 </div>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
91 </dialog>
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
92 <script>
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
93 handleMarkdown();
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
94 <% if added_message then %>
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
95 playLastMessage();
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
96 <% end %>
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
97 </script>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
98 </body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
99 </html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
100 <%
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
101 end