๐พ Archived View for bbs.geminispace.org โบ s โบ Bubble-Issues โบ 62 captured on 2023-09-28 at 17:27:26. Gemini links have been rewritten to link to archived content
โฌ ๏ธ Previous capture (2023-09-08)
โก๏ธ Next capture (2023-11-04)
-=-=-=-=-=-=-
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 ยท 4 months ago ยท ๐ shtirlic
Yes, this should have a user setting.
Commit af5966ce ยท Added ASCII icons user setting
2023-05-22 ยท 4 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 ยท 4 months ago
Sounds great, thanks!