annotate src/chat.html.luan @ 62:bd3f16f7b8b7

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 19 Aug 2025 07:40:27 +0900
parents 27758f3b2d69
children 44bec62c49e2
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()
35
3117876debca ai_first_message in textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
6 local Html = require "luan:Html.luan"
3117876debca ai_first_message in textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
7 local html_encode = Html.encode or error()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local Io = require "luan:Io.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local Http = require "luan:http/Http.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local Shared = require "site:/lib/Shared.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local head = Shared.head or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 local header = Shared.header or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
13 local started = Shared.started or error()
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
14 local voices = Shared.voices or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
15 local User = require "site:/lib/User.luan"
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
16 local current_user = User.current or error()
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
17 local Chat = require "site:/lib/Chat.luan"
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
18 local get_chat_by_id = Chat.get_by_id or error()
46
cc20eebaa74a use openai tts
Franklin Schmidt <fschmidt@gmail.com>
parents: 42
diff changeset
19 local Utils = require "site:/lib/Utils.luan"
cc20eebaa74a use openai tts
Franklin Schmidt <fschmidt@gmail.com>
parents: 42
diff changeset
20 local capitalize = Utils.capitalize or error()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 return function()
18
820136c5ee33 add new_chat.red
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
24 local chat_id = Http.request.parameters.chat or error()
820136c5ee33 add new_chat.red
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
25 local chat = get_chat_by_id(chat_id) or error()
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
26 local user = current_user()
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
27 local is_owner = user ~= nil and user.id == chat.user_id
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
28 is_owner or not chat.is_private or error "private"
35
3117876debca ai_first_message in textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
29 local init_text = chat.init_text()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 Io.stdout = Http.response.text_writer()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 <!doctype html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 <html lang="en">
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 <head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 <% head() %>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
36 <style>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
37 @import "/chat.css?s=<%=started%>";
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
38 </style>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
39 <script src="/chat.js?s=<%=started%>"></script>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 </head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 <body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 <% header() %>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
43 <div content ai_container>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
44 <div top>
51
Franklin Schmidt <fschmidt@gmail.com>
parents: 50
diff changeset
45 <h2 name></h2>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
46 <span pulldown>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
47 <img onclick="clickMenu(this)" src="/images/menu.svg">
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
48 <div>
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
49 <% if is_owner then %>
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
50 <span onclick="editChat()">Edit Chat</span>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
51 <span onclick="deleteChat()">Delete Chat</span>
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
52 <% end %>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
53 <span onclick="systemPrompt()">System Prompt</span>
1
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
54 </div>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
55 </span>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
56 </div>
7
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
57 <div messages>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
58 <% chat.output_messages_html() %>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
59 </div>
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
60 <% if is_owner then %>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
61 <div ask>
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 49
diff changeset
62 <textarea oninput="fixChatTextarea(event.target)" onkeydown="textareaKey(event)"><%= html_encode(init_text) %></textarea>
14
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
63 <div buttons>
28
99b71a377f2c audio for textarea
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
64 <audio controls preload=none></audio>
14
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
65 <button record onclick="toggleRecording()">Record</button>
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
66 <button onclick="askAi()" title="Send"><img src="/images/send.svg"></button>
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
67 </div>
1
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
68 </div>
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
69 <% end %>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
70 </div>
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
71 <img waiting-ai-icon src="/images/spinner_green.gif">
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
72 <dialog edit>
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
73 <h2>Edit Chat</h2>
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
74 <form onsubmit="saveChat(this)" action="javascript:">
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
75 <input type=hidden name=chat value="<%=chat.id%>">
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
76 <p>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
77 <label>Chat name</label><br>
34
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 32
diff changeset
78 <input type=text name=name required><br>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
79 <span error></span>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
80 </p>
32
Franklin Schmidt <fschmidt@gmail.com>
parents: 31
diff changeset
81 <p><%= chat.language_name() %></p>
Franklin Schmidt <fschmidt@gmail.com>
parents: 31
diff changeset
82 <p>
31
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 %>
46
cc20eebaa74a use openai tts
Franklin Schmidt <fschmidt@gmail.com>
parents: 42
diff changeset
86 <option value="<%=voice%>"><%=capitalize(voice)%></option>
31
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>
34
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 32
diff changeset
90 <p>
36
2737eeedc1d5 autoplay
Franklin Schmidt <fschmidt@gmail.com>
parents: 35
diff changeset
91 <label clickable><input type=checkbox name=autoplay>Autoplay</label>
2737eeedc1d5 autoplay
Franklin Schmidt <fschmidt@gmail.com>
parents: 35
diff changeset
92 </p>
2737eeedc1d5 autoplay
Franklin Schmidt <fschmidt@gmail.com>
parents: 35
diff changeset
93 <p>
52
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 51
diff changeset
94 <select name=show_text>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 51
diff changeset
95 <option value=show_text>Show text</option>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 51
diff changeset
96 <% if chat.has_ruby then %>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 51
diff changeset
97 <option value=hide_ruby>Hide pronunciation</option>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 51
diff changeset
98 <% end %>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 51
diff changeset
99 <option value=hide_text>Hide text</option>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 51
diff changeset
100 </select>
34
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 32
diff changeset
101 </p>
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
102 <p>
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
103 <label clickable><input type=checkbox name=is_private>Private chat</label>
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
104 </p>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
105 <div buttons>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
106 <button type=button onclick="closeModal(this)">Cancel</button>
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
107 <button type=submit>Save</button>
4
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
108 </div>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
109 </form>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
110 </dialog>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
111 <dialog delete>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
112 <h2>Delete Chat</h2>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
113 <p>Are you sure that you want to delete this chat?</p>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
114 <div buttons>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
115 <button onclick="closeModal(this)">Cancel</button>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
116 <button onclick="doDeleteChat(this)">Delete</button>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
117 </div>
b1adec083e44 chat work
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
118 </dialog>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
119 <dialog system_prompt>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
120 <h2>System Prompt</h2>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
121 <pre>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
122 <% chat.output_system_prompt() %>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
123 </pre>
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 49
diff changeset
124 <h3>Text to speech instructions</h3>
Franklin Schmidt <fschmidt@gmail.com>
parents: 49
diff changeset
125 <pre>
Franklin Schmidt <fschmidt@gmail.com>
parents: 49
diff changeset
126 <%= chat.tts_instructions %>
Franklin Schmidt <fschmidt@gmail.com>
parents: 49
diff changeset
127 </pre>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
128 <p><a href="view_course.html?course=<%=chat.course_id%>">View course</a></p>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
129 <div buttons>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
130 <button onclick="closeModal(this)">Close</button>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
131 </div>
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
132 </dialog>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
133 <input name=initialized style="display:none">
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
134 <script>
41
2a4c83ce3deb public chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
135 'use strict';
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
136 setChat(<%= json_string(chat.info()) %>);
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 28
diff changeset
137 handleChatMarkdown();
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
138 setTimeout(function(){
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
139 let initialized = document.querySelector('[name=initialized]');
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
140 if( !initialized.value ) {
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
141 initialized.value = 'yes';
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
142 //alert('init');
62
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
143 <% if is_owner then %>
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 49
diff changeset
144 document.querySelector('textarea').focus();
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
145 scrollToEnd();
62
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
146 <% end %>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
147 }
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 49
diff changeset
148 },100);
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
149 </script>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
150 </body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
151 </html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
152 <%
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
153 end