annotate src/chat.html.luan @ 29:505185272dd7

edit chat
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 02 Aug 2025 22:39:48 -0600
parents 99b71a377f2c
children 1e7d855afde3
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
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
3 local Parsers = require "luan:Parsers.luan"
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
4 local json_string = Parsers.json_string or error()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local Io = require "luan:Io.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local Http = require "luan:http/Http.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local Shared = require "site:/lib/Shared.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local head = Shared.head or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local header = Shared.header or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
10 local started = Shared.started or error()
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
11 local User = require "site:/lib/User.luan"
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 18
diff changeset
12 local current_user = User.current_required or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
13 local Chat = require "site:/lib/Chat.luan"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
14 local get_chat_by_id = Chat.get_by_id or error()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 return function()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
18 local user = current_user()
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 18
diff changeset
19 if user == nil then return end
18
820136c5ee33 add new_chat.red
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
20 local chat_id = Http.request.parameters.chat or error()
820136c5ee33 add new_chat.red
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
21 local chat = get_chat_by_id(chat_id) or error()
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
22 local added_message = chat.init_ai()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 Io.stdout = Http.response.text_writer()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 <!doctype html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 <html lang="en">
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 <head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 <% head() %>
4
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 @import "/chat.css?s=<%=started%>";
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
31 </style>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
32 <script src="/chat.js?s=<%=started%>"></script>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 </head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 <body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 <% header() %>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
36 <div content ai_container>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
37 <div top>
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
38 <h3 name></h3>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
39 <span pulldown>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
40 <img onclick="clickMenu(this)" src="/images/menu.svg">
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
41 <div>
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
42 <span onclick="editChat()">Edit Chat</span>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
43 <span onclick="deleteChat()">Delete Chat</span>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
44 <span onclick="systemPrompt()">System Prompt</span>
1
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
45 </div>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
46 </span>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
47 </div>
7
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
48 <div messages>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
49 <% chat.output_messages_html() %>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
50 </div>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
51 <div ask>
11
003a90ce72d7 minor fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
52 <textarea autofocus oninput="fixTextarea(event.target)" onkeydown="textareaKey(event)"></textarea>
14
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
53 <div buttons>
28
99b71a377f2c audio for textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
54 <audio controls preload=none></audio>
14
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">
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
61 <dialog edit>
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
62 <h2>Edit Chat</h2>
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
63 <form onsubmit="saveChat(this)" action="javascript:">
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
64 <input type=hidden name=chat value="<%=chat.id%>">
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
65 <p>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
66 <label>Chat name</label><br>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
67 <input name=name required><br>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
68 <span error></span>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
69 </p>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
70 <div buttons>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
71 <button type=button onclick="closeModal(this)">Cancel</button>
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
72 <button type=submit>Save</button>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
73 </div>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
74 </form>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
75 </dialog>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
76 <dialog delete>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
77 <h2>Delete Chat</h2>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
78 <p>Are you sure that you want to delete this chat?</p>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
79 <div buttons>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
80 <button onclick="closeModal(this)">Cancel</button>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
81 <button onclick="doDeleteChat(this)">Delete</button>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
82 </div>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
83 </dialog>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
84 <dialog system_prompt>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
85 <h2>System Prompt</h2>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
86 <pre>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
87 <% chat.output_system_prompt() %>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
88 </pre>
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
89 <p><a href="view_course.html?course=<%=chat.course_id%>">View course</a></p>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
90 <div buttons>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
91 <button onclick="closeModal(this)">Close</button>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
92 </div>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
93 </dialog>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
94 <input name=initialized style="display:none">
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
95 <script>
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
96 setChat(<%= json_string(chat.info()) %>);
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
97 handleChatMarkdown();
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
98 setTimeout(function(){
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
99 let initialized = document.querySelector('[name=initialized]');
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
100 if( !initialized.value ) {
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
101 initialized.value = 'yes';
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
102 //alert('init');
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
103 scrollToEnd();
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
104 <% if added_message then %>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
105 playLastMessage();
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
106 <% end %>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
107 }
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
108 },10);
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
109 </script>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
110 </body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
111 </html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
112 <%
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
113 end