2019-01-03 05:33:59 +08:00
|
|
|
#include "ftxui/dom/node.hpp"
|
2019-01-12 22:00:08 +08:00
|
|
|
#include "ftxui/screen/screen.hpp"
|
|
|
|
#include "ftxui/screen/string.hpp"
|
|
|
|
#include "ftxui/screen/terminal.hpp"
|
2018-10-10 01:06:03 +08:00
|
|
|
|
|
|
|
#include <sstream>
|
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
namespace ftxui {
|
2019-01-07 00:10:35 +08:00
|
|
|
|
2019-01-20 05:06:05 +08:00
|
|
|
namespace {
|
2019-01-07 00:10:35 +08:00
|
|
|
static const wchar_t* BOLD_SET = L"\e[1m";
|
|
|
|
static const wchar_t* BOLD_RESET = L"\e[22m"; // Can't use 21 here.
|
|
|
|
|
|
|
|
static const wchar_t* DIM_SET = L"\e[2m";
|
|
|
|
static const wchar_t* DIM_RESET = L"\e[22m";
|
|
|
|
|
|
|
|
static const wchar_t* UNDERLINED_SET = L"\e[4m";
|
|
|
|
static const wchar_t* UNDERLINED_RESET = L"\e[24m";
|
|
|
|
|
|
|
|
static const wchar_t* BLINK_SET = L"\e[5m";
|
|
|
|
static const wchar_t* BLINK_RESET = L"\e[25m";
|
|
|
|
|
|
|
|
static const wchar_t* INVERTED_SET = L"\e[7m";
|
|
|
|
static const wchar_t* INVERTED_RESET = L"\e[27m";
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2019-01-19 07:20:29 +08:00
|
|
|
static const char* MOVE_LEFT = "\r";
|
|
|
|
static const char* MOVE_UP = "\e[1A";
|
|
|
|
static const char* CLEAR_LINE = "\e[2K";
|
|
|
|
|
2019-01-20 05:06:05 +08:00
|
|
|
bool In(const Box& stencil, int x, int y) {
|
|
|
|
return stencil.x_min <= x && x <= stencil.x_max && //
|
|
|
|
stencil.y_min <= y && y <= stencil.y_max;
|
|
|
|
}
|
|
|
|
|
|
|
|
Pixel dev_null_pixel;
|
|
|
|
|
|
|
|
} // namespace
|
|
|
|
|
2018-10-10 01:06:03 +08:00
|
|
|
Screen::Screen(size_t dimx, size_t dimy)
|
2019-01-20 05:06:05 +08:00
|
|
|
: stencil({0, int(dimx) - 1, 0, int(dimy) - 1}),
|
|
|
|
dimx_(dimx),
|
|
|
|
dimy_(dimy),
|
|
|
|
pixels_(dimy, std::vector<Pixel>(dimx)) {}
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2019-01-03 05:33:59 +08:00
|
|
|
void UpdatePixelStyle(std::wstringstream& ss, Pixel& previous, Pixel& next) {
|
|
|
|
if (next.bold != previous.bold)
|
2019-01-07 00:10:35 +08:00
|
|
|
ss << (next.bold ? BOLD_SET : BOLD_RESET);
|
|
|
|
|
2019-01-03 05:33:59 +08:00
|
|
|
if (next.dim != previous.dim)
|
2019-01-07 00:10:35 +08:00
|
|
|
ss << (next.dim ? DIM_SET : DIM_RESET);
|
|
|
|
|
2019-01-05 09:03:49 +08:00
|
|
|
if (next.underlined != previous.underlined)
|
2019-01-07 00:10:35 +08:00
|
|
|
ss << (next.underlined ? UNDERLINED_SET : UNDERLINED_RESET);
|
|
|
|
|
2019-01-03 05:33:59 +08:00
|
|
|
if (next.blink != previous.blink)
|
2019-01-07 00:10:35 +08:00
|
|
|
ss << (next.blink ? BLINK_SET : BLINK_RESET);
|
|
|
|
|
2019-01-05 09:03:49 +08:00
|
|
|
if (next.inverted != previous.inverted)
|
2019-01-07 00:10:35 +08:00
|
|
|
ss << (next.inverted ? INVERTED_SET : INVERTED_RESET);
|
|
|
|
|
2019-01-05 09:03:49 +08:00
|
|
|
if (next.foreground_color != previous.foreground_color ||
|
|
|
|
next.background_color != previous.background_color) {
|
|
|
|
ss << L"\e[" + to_wstring(std::to_string((uint8_t)next.foreground_color)) + L"m";
|
|
|
|
ss << L"\e[" + to_wstring(std::to_string(10 + (uint8_t)next.background_color)) + L"m";
|
2019-01-03 05:33:59 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
previous = next;
|
|
|
|
}
|
|
|
|
|
2018-10-10 01:06:03 +08:00
|
|
|
std::string Screen::ToString() {
|
|
|
|
std::wstringstream ss;
|
2018-10-12 15:23:37 +08:00
|
|
|
|
2018-10-10 01:06:03 +08:00
|
|
|
Pixel previous_pixel;
|
|
|
|
|
|
|
|
for (size_t y = 0; y < dimy_; ++y) {
|
2019-01-07 06:24:58 +08:00
|
|
|
if (y != 0)
|
|
|
|
ss << '\n';
|
2018-10-10 01:06:03 +08:00
|
|
|
for (size_t x = 0; x < dimx_; ++x) {
|
2019-01-03 05:33:59 +08:00
|
|
|
UpdatePixelStyle(ss, previous_pixel, pixels_[y][x]);
|
2018-10-10 01:06:03 +08:00
|
|
|
ss << pixels_[y][x].character;
|
|
|
|
}
|
2019-01-05 09:03:49 +08:00
|
|
|
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
2019-01-03 05:33:59 +08:00
|
|
|
|
2019-01-07 06:24:58 +08:00
|
|
|
Pixel final_pixel;
|
|
|
|
UpdatePixelStyle(ss, previous_pixel, final_pixel);
|
|
|
|
|
2018-10-10 01:06:03 +08:00
|
|
|
return to_string(ss.str());
|
|
|
|
}
|
|
|
|
|
|
|
|
wchar_t& Screen::at(size_t x, size_t y) {
|
2019-01-20 05:06:05 +08:00
|
|
|
return PixelAt(x,y).character;
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
Pixel& Screen::PixelAt(size_t x, size_t y) {
|
2019-01-20 05:06:05 +08:00
|
|
|
return In(stencil, x, y) ? pixels_[y][x] : dev_null_pixel;
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// static
|
|
|
|
Screen Screen::TerminalFullscreen() {
|
|
|
|
Terminal::Dimensions size = Terminal::Size();
|
|
|
|
return Screen(size.dimx, size.dimy);
|
|
|
|
}
|
|
|
|
|
|
|
|
// static
|
2019-01-12 22:00:08 +08:00
|
|
|
Screen Screen::TerminalOutput(std::unique_ptr<Node>& element) {
|
2018-10-10 01:06:03 +08:00
|
|
|
element->ComputeRequirement();
|
|
|
|
Terminal::Dimensions size = Terminal::Size();
|
|
|
|
return Screen(size.dimx, element->requirement().min.y);
|
|
|
|
}
|
|
|
|
|
2019-01-23 06:42:57 +08:00
|
|
|
// static
|
|
|
|
Screen Screen::FitDocument(std::unique_ptr<Node>& element) {
|
|
|
|
element->ComputeRequirement();
|
|
|
|
Terminal::Dimensions size = Terminal::Size();
|
|
|
|
return
|
|
|
|
Screen(
|
|
|
|
std::min(size.dimx, element->requirement().min.x),
|
|
|
|
std::min(size.dimy, element->requirement().min.y)
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2018-10-10 01:06:03 +08:00
|
|
|
std::string Screen::ResetPosition() {
|
|
|
|
std::stringstream ss;
|
2019-01-19 07:20:29 +08:00
|
|
|
ss << MOVE_LEFT << CLEAR_LINE;
|
2018-10-12 15:23:37 +08:00
|
|
|
for (size_t y = 1; y < dimy_; ++y) {
|
2019-01-19 07:20:29 +08:00
|
|
|
ss << MOVE_UP << CLEAR_LINE;
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
return ss.str();
|
|
|
|
}
|
|
|
|
|
|
|
|
void Screen::Clear() {
|
|
|
|
pixels_ = std::vector<std::vector<Pixel>>(dimy_,
|
|
|
|
std::vector<Pixel>(dimx_, Pixel()));
|
|
|
|
}
|
|
|
|
|
2019-01-19 07:20:29 +08:00
|
|
|
void Screen::ApplyShader() {
|
|
|
|
|
|
|
|
// Merge box characters togethers.
|
|
|
|
for(size_t y = 1; y<dimy_; ++y) {
|
|
|
|
for(size_t x = 1; x<dimx_; ++x) {
|
|
|
|
wchar_t& left = at(x - 1, y);
|
|
|
|
wchar_t& top = at(x, y - 1);
|
|
|
|
wchar_t& cur = at(x, y);
|
|
|
|
|
|
|
|
// Left vs current
|
|
|
|
if (cur== U'│' && left == U'─')
|
|
|
|
cur= U'┤';
|
|
|
|
if (cur== U'─' && left == U'│')
|
|
|
|
left = U'├';
|
|
|
|
if (cur== U'├' && left == U'─')
|
|
|
|
cur= U'┼';
|
|
|
|
if (cur== U'─' && left == U'┤')
|
|
|
|
left = U'┼';
|
|
|
|
|
|
|
|
// Top vs current
|
|
|
|
if (cur== U'─' && top == U'│')
|
|
|
|
cur= U'┴';
|
|
|
|
if (cur== U'│' && top == U'─')
|
|
|
|
top = U'┬';
|
|
|
|
if (cur== U'┬' && top == U'│')
|
|
|
|
cur= U'┼';
|
|
|
|
if (cur== U'│' && top == U'┴')
|
|
|
|
top = U'┼';
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
}; // namespace ftxui
|