2021-05-02 02:40:35 +08:00
|
|
|
#include <algorithm> // for max
|
|
|
|
#include <memory> // for __shared_ptr_access, shared_ptr, make_shared
|
|
|
|
#include <utility> // for move
|
|
|
|
#include <vector> // for vector
|
2020-03-24 04:26:00 +08:00
|
|
|
|
2021-05-02 02:40:35 +08:00
|
|
|
#include "ftxui/dom/elements.hpp" // for Element, Elements, dbox
|
|
|
|
#include "ftxui/dom/node.hpp" // for Node
|
|
|
|
#include "ftxui/dom/requirement.hpp" // for Requirement
|
|
|
|
#include "ftxui/screen/box.hpp" // for Box
|
2019-01-03 07:35:59 +08:00
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
namespace ftxui {
|
2019-01-03 07:35:59 +08:00
|
|
|
|
|
|
|
class DBox : public Node {
|
|
|
|
public:
|
2022-03-31 08:17:43 +08:00
|
|
|
explicit DBox(Elements children) : Node(std::move(children)) {}
|
2019-01-03 07:35:59 +08:00
|
|
|
|
|
|
|
void ComputeRequirement() override {
|
2020-06-01 22:13:29 +08:00
|
|
|
requirement_.min_x = 0;
|
|
|
|
requirement_.min_y = 0;
|
2020-06-02 05:40:32 +08:00
|
|
|
requirement_.flex_grow_x = 0;
|
|
|
|
requirement_.flex_grow_y = 0;
|
|
|
|
requirement_.flex_shrink_x = 0;
|
|
|
|
requirement_.flex_shrink_y = 0;
|
2021-05-16 23:18:11 +08:00
|
|
|
for (auto& child : children_) {
|
2019-01-03 07:35:59 +08:00
|
|
|
child->ComputeRequirement();
|
2020-06-01 22:13:29 +08:00
|
|
|
requirement_.min_x =
|
|
|
|
std::max(requirement_.min_x, child->requirement().min_x);
|
|
|
|
requirement_.min_y =
|
|
|
|
std::max(requirement_.min_y, child->requirement().min_y);
|
2019-01-20 05:06:05 +08:00
|
|
|
|
|
|
|
if (requirement_.selection < child->requirement().selection) {
|
|
|
|
requirement_.selection = child->requirement().selection;
|
|
|
|
requirement_.selected_box = child->requirement().selected_box;
|
|
|
|
}
|
2019-01-03 07:35:59 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void SetBox(Box box) override {
|
|
|
|
Node::SetBox(box);
|
|
|
|
|
2022-03-31 08:17:43 +08:00
|
|
|
for (auto& child : children_) {
|
2019-01-03 07:35:59 +08:00
|
|
|
child->SetBox(box);
|
2022-03-31 08:17:43 +08:00
|
|
|
}
|
2019-01-03 07:35:59 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2020-05-25 07:34:13 +08:00
|
|
|
/// @brief Stack several element on top of each other.
|
2021-05-16 23:18:11 +08:00
|
|
|
/// @param children_ The input element.
|
2020-05-25 07:34:13 +08:00
|
|
|
/// @return The right aligned element.
|
|
|
|
/// @ingroup dom
|
2021-05-16 23:18:11 +08:00
|
|
|
Element dbox(Elements children_) {
|
|
|
|
return std::make_shared<DBox>(std::move(children_));
|
2019-01-03 07:35:59 +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.
|