|
|
|
|
|
by pythops
228 days ago
|
|
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. |
|
Emoji in text is annoying, but this isn't a page of text, it's a UI element, and that can make something clear especially if you're connecting a device whose name is unknown, but you know it's a speaker, or whatever.
So having the option to enable / disable is better than taking away the icons, in my opinion.