💾 Archived View for bbs.geminispace.org › u › skyjake › 688 captured on 2023-07-22 at 17:44:57. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Re: "Optional ascii equivalents for UI emojis"
Yes, this should have a user setting.
2023-05-21 · 2 months ago
The next version will have an ASCII icons setting, although for the time being it will only affect some of the icons.
2023-05-22 · 2 months ago
Sounds great, thanks!
Maybe I'm exceptional in this, but the fonts I typically use don't support most of the fancy unicode characters used in the Bubble UI. Mostly that's no problem, but occasionally they seem to be crucial, e.g. indicating whether an option is enabled or not. I at least would appreciate an option to replace them with ASCII.
💬 mbays · 3 comments · 1 like · 2023-05-21 · 2 months ago · #feature