Skip to content

More fixes german#538

Open
moritz-gross wants to merge 8 commits intodaisy:mainfrom
moritz-gross:more-fixes-german
Open

More fixes german#538
moritz-gross wants to merge 8 commits intodaisy:mainfrom
moritz-gross:more-fixes-german

Conversation

@moritz-gross
Copy link
Copy Markdown
Collaborator

@moritz-gross moritz-gross commented Mar 31, 2026

I skimmed the german translation some more.
Isn't there a database of what the unicode symbols are called that we can use?
If we have to do this for each language, that's gonna take a long time.

Also, I've never seen a big share of those symbols. From their appearance, I tried to improve them
from definitely totally wrong to likely somewhat wrong, but it's at least some improvement.

Do you think it's worth it to change the "google translation" in the comments. I think it's nice to have the english original next to it for easier comparison, but idk if it is worth it to always update how the last translation was made.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant