Comment by pythops
bluetui author here.
> It made me really happy how a tool so simple makes such a huge difference in terms of how smooth it is to solve a problem,
Happy to hear that :)
> if I have one tiny criticism about bluetui is the annoying fonts
You suggest to get rid of the icons ? what if they can be disabled in the config, will that fix the issue for you ?
> there's plenty of white space You can set the window width from the config file (width = positive integer) if you don't want the TUI to be responsive.
> You suggest to get rid of the icons ? what if they can be disabled in the config, will that fix the issue for you ?
Yes.
In general, its a good idea to not rely on someone having installed nerdfonts / fonts with glyphs. Or at the very least offer fallback.
You can usually get pretty far by repurposing Unicode symbols.
For example, from Bamum: