annotate src/chat.html.luan @ 32:d34d709a7a8e

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