Mercurial Hosting > luan
comparison website/src/manual.html.luan @ 1938:bd00b36380d9 default tip
ai options
| author | Franklin Schmidt <fschmidt@gmail.com> |
|---|---|
| date | Fri, 16 May 2025 17:20:29 -0600 |
| parents | 31f006c64782 |
| children |
comparison
equal
deleted
inserted
replaced
| 1937:d44659709959 | 1938:bd00b36380d9 |
|---|---|
| 4 local String = require "luan:String.luan" | 4 local String = require "luan:String.luan" |
| 5 local replace = String.replace or error() | 5 local replace = String.replace or error() |
| 6 local Table = require "luan:Table.luan" | 6 local Table = require "luan:Table.luan" |
| 7 local concat = Table.concat or error() | 7 local concat = Table.concat or error() |
| 8 local Io = require "luan:Io.luan" | 8 local Io = require "luan:Io.luan" |
| 9 local Site_translator = require "luan:gpt/Site_translator.luan" | 9 local Site_translator = require "luan:ai/Site_translator.luan" |
| 10 local get_lang = Site_translator.get_lang or error() | 10 local get_lang = Site_translator.get_lang or error() |
| 11 local text_writer = Site_translator.text_writer or error() | 11 local text_writer = Site_translator.text_writer or error() |
| 12 local languages = Site_translator.languages or error() | 12 local languages = Site_translator.languages or error() |
| 13 local set_translated = Site_translator.set_translated or error() | 13 local set_translated = Site_translator.set_translated or error() |
| 14 local Shared = require "site:/lib/Shared.luan" | 14 local Shared = require "site:/lib/Shared.luan" |
| 15 local head = Shared.head or error() | 15 local head = Shared.head or error() |
| 16 local docs_header = Shared.docs_header or error() | 16 local docs_header = Shared.docs_header or error() |
| 17 local show_toc = Shared.show_toc or error() | 17 local show_toc = Shared.show_toc or error() |
| 18 local show_content = Shared.show_content or error() | 18 local show_content = Shared.show_content or error() |
| 19 local show_content_info = Shared.show_content_info or error() | 19 local show_content_info = Shared.show_content_info or error() |
| 20 local Translator = require "luan:gpt/Translator.luan" | 20 local Ai = require "luan:ai/Ai.luan" |
| 21 local require_ai = Ai.require_ai or error() | |
| 22 local Translator = require_ai "Translator.luan" | |
| 21 local translate_html = Translator.translate_html or error() | 23 local translate_html = Translator.translate_html or error() |
| 22 local Logging = require "luan:logging/Logging.luan" | 24 local Logging = require "luan:logging/Logging.luan" |
| 23 local logger = Logging.logger "manual.html" | 25 local logger = Logging.logger "manual.html" |
| 24 | 26 |
| 25 | 27 |
| 3744 ` | 3746 ` |
| 3745 if lang == "en" then | 3747 if lang == "en" then |
| 3746 html = replace( html, "<div placeholder></div>", `show_content(content,2)` ) | 3748 html = replace( html, "<div placeholder></div>", `show_content(content,2)` ) |
| 3747 else | 3749 else |
| 3748 local language = languages[lang] or error(lang) | 3750 local language = languages[lang] or error(lang) |
| 3749 html = translate_html(html,language) | 3751 html = translate_html(html,language,true) |
| 3750 local parts = {} | 3752 local parts = {} |
| 3751 for id, info in pairs(content) do | 3753 for id, info in pairs(content) do |
| 3752 local part = `show_content_info(id,info,2)` | 3754 local part = `show_content_info(id,info,2)` |
| 3753 part = translate_html(part,language) | 3755 part = translate_html(part,language,true) |
| 3754 parts[#parts+1] = part | 3756 parts[#parts+1] = part |
| 3755 end | 3757 end |
| 3756 html = replace( html, "<div placeholder></div>", concat(parts) ) | 3758 html = replace( html, "<div placeholder></div>", concat(parts) ) |
| 3757 set_translated() | 3759 set_translated() |
| 3758 end | 3760 end |