2021-05-10 02:32:27 +08:00
|
|
|
#include <memory> // for make_shared
|
|
|
|
#include <utility> // for move
|
2021-05-02 02:40:35 +08:00
|
|
|
|
2021-07-20 15:59:47 +08:00
|
|
|
#include "ftxui/dom/elements.hpp" // for Element, bold
|
2021-05-10 02:32:27 +08:00
|
|
|
#include "ftxui/dom/node.hpp" // for Node
|
|
|
|
#include "ftxui/dom/node_decorator.hpp" // for NodeDecorator
|
|
|
|
#include "ftxui/screen/box.hpp" // for Box
|
|
|
|
#include "ftxui/screen/screen.hpp" // for Pixel, Screen
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
namespace ftxui {
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2018-10-12 15:23:37 +08:00
|
|
|
class Bold : public NodeDecorator {
|
2018-10-10 01:06:03 +08:00
|
|
|
public:
|
2021-07-17 18:02:08 +08:00
|
|
|
using NodeDecorator::NodeDecorator;
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
void Render(Screen& screen) override {
|
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) {
|
2020-03-23 05:32:44 +08:00
|
|
|
screen.PixelAt(x, y).bold = true;
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
}
|
2019-01-05 09:03:49 +08:00
|
|
|
Node::Render(screen);
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2020-05-25 07:34:13 +08:00
|
|
|
/// @brief Use a bold font, for elements with more emphasis.
|
|
|
|
/// @ingroup dom
|
2020-05-21 02:36:47 +08:00
|
|
|
Element bold(Element child) {
|
2021-07-20 15:59:47 +08:00
|
|
|
return std::make_shared<Bold>(std::move(child));
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
|
2020-02-12 04:44:55 +08:00
|
|
|
} // namespace ftxui
|
2020-08-16 06:24:18 +08:00
|
|
|
|
|
|
|
// Copyright 2020 Arthur Sonzogni. All rights reserved.
|
|
|
|
// Use of this source code is governed by the MIT license that can be found in
|
|
|
|
// the LICENSE file.
|