2018-10-12 15:23:37 +08:00
|
|
|
#include "ftxui/dom/node_decorator.hpp"
|
2018-10-10 01:06:03 +08:00
|
|
|
#include "ftxui/dom/elements.hpp"
|
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
namespace ftxui {
|
2019-01-07 00:10:35 +08:00
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
using ftxui::Screen;
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2018-10-12 15:23:37 +08:00
|
|
|
class Underlined : public NodeDecorator {
|
2018-10-10 01:06:03 +08:00
|
|
|
public:
|
2019-01-13 01:24:46 +08:00
|
|
|
Underlined(Elements children) : NodeDecorator(std::move(children)) {}
|
2018-10-10 01:06:03 +08:00
|
|
|
~Underlined() override {}
|
|
|
|
|
|
|
|
void Render(Screen& screen) override {
|
|
|
|
Node::Render(screen);
|
2019-01-20 05:06:05 +08:00
|
|
|
for (int y = box_.y_min; y <= box_.y_max; ++y) {
|
|
|
|
for (int x = box_.x_min; x <= box_.x_max; ++x) {
|
2018-10-12 15:23:37 +08:00
|
|
|
screen.PixelAt(x, y).underlined = true;
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2019-01-13 01:24:46 +08:00
|
|
|
std::unique_ptr<Node> underlined(Element child) {
|
2018-10-10 01:06:03 +08:00
|
|
|
return std::make_unique<Underlined>(unpack(std::move(child)));
|
|
|
|
}
|
|
|
|
|
2020-02-12 04:44:55 +08:00
|
|
|
} // namespace ftxui
|