mirror of
https://github.com/ArthurSonzogni/FTXUI.git
synced 2025-09-19 18:18:09 +08:00
Switch to rounded borders. (#175)
They are nicer. It would be nice supporting a way for FTXUI to let the user chose what they prefer instead.
This commit is contained in:
@@ -12,7 +12,12 @@
|
||||
|
||||
namespace ftxui {
|
||||
|
||||
static wchar_t simple_border_charset[] = L"┌┐└┘─│┬┴┤├";
|
||||
static wchar_t simple_border_charset[] = L"╭╮╰╯─│┬┴┤├";
|
||||
|
||||
// For reference, here is the charset for normal border:
|
||||
// L"┌┐└┘─│┬┴┤├";
|
||||
// TODO(arthursonzogni): Consider adding options to choose the kind of borders
|
||||
// to use.
|
||||
|
||||
class Border : public Node {
|
||||
public:
|
||||
|
Reference in New Issue
Block a user