[desktop] Display type names

Signed-off-by: Dobri Dabar <dobridabar@noreply.codeberg.org>
Co-authored-by: Dobri Dabar <dobridabar@noreply.codeberg.org>
Co-committed-by: Dobri Dabar <dobridabar@noreply.codeberg.org>
This commit is contained in:
Dobri Dabar
2025-12-15 19:36:29 +01:00
committed by x7z4w
parent 3c082b0629
commit 4691de7a66
6 changed files with 91 additions and 1 deletions

View File

@@ -116,6 +116,9 @@ fi
echo "Generating search categories / synonyms..."
./tools/unix/generate_categories.sh
echo "Generating Desktop UI strings..."
./tools/unix/generate_desktop_ui_strings.sh
if [ -z "$SKIP_GENERATE_SYMBOLS" ]; then
if Diff data/symbols_hash data/styles/*/*/symbols/* || [ ! -z "$SYMBOLS_NOT_GENERATED" ]; then
echo "Generating symbols..."