mirror of
https://github.com/AstrBotDevs/AstrBot
synced 2026-07-19 02:12:46 +08:00
merge: 合并 master 分支 (webui 改进和 attachment recovery)
- 采用 master 的 README 多语言版本和文档更新 - 采用 dev 版本号 (4.25.0) + master 的 Python 版本限制 (<3.14) - 采用 master 的 _image_ref_to_data_url 图片处理实现 - 从 git 中移除 MDI 字体二进制文件,改由脚本生成 - 其他冲突均采用 master 版本
This commit is contained in:
@@ -34,9 +34,42 @@ const UTILITY_CLASSES = new Set([
|
||||
]);
|
||||
|
||||
// Icons used indirectly by Vuetify internals, so they won't appear in src/ static scans.
|
||||
const REQUIRED_ICONS = new Set([
|
||||
export const REQUIRED_ICONS = new Set([
|
||||
"mdi-radiobox-blank",
|
||||
"mdi-radiobox-marked",
|
||||
"mdi-menu-down",
|
||||
"mdi-menu-right",
|
||||
"mdi-check-circle",
|
||||
"mdi-information",
|
||||
"mdi-alert-circle",
|
||||
"mdi-close-circle",
|
||||
"mdi-chevron-down",
|
||||
"mdi-chevron-up",
|
||||
"mdi-chevron-left",
|
||||
"mdi-chevron-right",
|
||||
"mdi-check",
|
||||
"mdi-close",
|
||||
"mdi-checkbox-marked",
|
||||
"mdi-checkbox-blank-outline",
|
||||
"mdi-minus-box",
|
||||
"mdi-circle",
|
||||
"mdi-arrow-up",
|
||||
"mdi-arrow-down",
|
||||
"mdi-menu",
|
||||
"mdi-pencil",
|
||||
"mdi-star-outline",
|
||||
"mdi-star",
|
||||
"mdi-star-half-full",
|
||||
"mdi-cached",
|
||||
"mdi-page-first",
|
||||
"mdi-page-last",
|
||||
"mdi-unfold-more-horizontal",
|
||||
"mdi-paperclip",
|
||||
"mdi-plus",
|
||||
"mdi-minus",
|
||||
"mdi-calendar",
|
||||
"mdi-eyedropper",
|
||||
"mdi-cloud-upload",
|
||||
]);
|
||||
|
||||
// Regex to match individual icon class definitions in MDI CSS
|
||||
|
||||
Reference in New Issue
Block a user