Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

This TUI is really beautiful. Looking at those rounded corners I am wondering if it is using some specific font created just for TUI.


They're in the Unicode box drawing block. https://en.wikipedia.org/wiki/Box-drawing_character


I am aware of those, I have used them, but this font has rounded corners on boxes, that's why I believe it is a custom font.


The code references FiraCode:

https://github.com/EnhancedJax/Bagels/blob/7b4bfd051f6beff8f...

But the actual character is: ╯


256F ╯ Box Drawings Light Arc Up And Left

https://www.unicode.org/charts/nameslist/n_2500.html


Baked into the Textual framework!


Textual automatically has a rounded border style for containers!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: