๐พ Archived View for geminispace.org โบ s โบ Bubble-Issues โบ 685 captured on 2023-05-24 at 18:08:08. Gemini links have been rewritten to link to archived content
โก๏ธ Next capture (2024-06-20)
-=-=-=-=-=-=-
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.
๐ Issue #62 in s/Bubble-Issues
2023-05-21 ยท 3 days ago ยท ๐ shtirlic
Sounds great, thanks!
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 days ago
Commit af5966ce ยท Added ASCII icons user setting
2023-05-22 ยท 2 days ago
Yes, this should have a user setting.