mirror of
https://github.com/ClementTsang/bottom.git
synced 2025-08-15 06:38:20 +02:00
* run a dep bump * add widget border type * feature: support custom widget borders * fmt * remove none since it looks really bad * fix bug with title for tables with no title when expanded * fix jsonschema * fix some unused stuff