2021-07-10 19:20:43 +08:00
|
|
|
#include <stddef.h> // for size_t
|
2021-05-15 04:00:49 +08:00
|
|
|
#include <algorithm> // for max, min
|
|
|
|
#include <memory> // for __shared_ptr_access, shared_ptr, make_shared, allocator, __shared_ptr_access<>::element_type, allocator_traits<>::value_type
|
2021-05-10 02:32:27 +08:00
|
|
|
#include <utility> // for move
|
2021-05-15 04:00:49 +08:00
|
|
|
#include <vector> // for vector, __alloc_traits<>::value_type
|
2019-01-13 01:24:46 +08:00
|
|
|
|
2021-07-10 19:20:43 +08:00
|
|
|
#include "ftxui/component/component.hpp" // for Component, Components, Horizontal, Vertical, Tab
|
|
|
|
#include "ftxui/component/component_base.hpp" // for ComponentBase
|
|
|
|
#include "ftxui/component/event.hpp" // for Event, Event::Tab, Event::TabReverse, Event::ArrowDown, Event::ArrowLeft, Event::ArrowRight, Event::ArrowUp
|
|
|
|
#include "ftxui/dom/elements.hpp" // for text, Elements, Element, hbox, vbox
|
2020-03-23 05:32:44 +08:00
|
|
|
|
2019-01-13 01:24:46 +08:00
|
|
|
namespace ftxui {
|
|
|
|
|
2021-07-10 18:51:11 +08:00
|
|
|
class ContainerBase : public ComponentBase {
|
|
|
|
public:
|
2021-07-20 15:59:47 +08:00
|
|
|
ContainerBase(Components children, int* selector)
|
|
|
|
: selector_(selector ? selector : &selected_) {
|
2021-07-10 18:51:11 +08:00
|
|
|
for (Component& child : children)
|
2021-07-20 15:59:47 +08:00
|
|
|
Add(std::move(child));
|
2021-07-10 18:51:11 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// Component override.
|
|
|
|
bool OnEvent(Event event) override {
|
|
|
|
if (event.is_mouse())
|
|
|
|
return OnMouseEvent(event);
|
|
|
|
|
|
|
|
if (!Focused())
|
|
|
|
return false;
|
|
|
|
|
|
|
|
if (ActiveChild() && ActiveChild()->OnEvent(event))
|
|
|
|
return true;
|
|
|
|
|
2021-07-20 15:59:47 +08:00
|
|
|
return EventHandler(event);
|
2021-07-10 18:51:11 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
Component ActiveChild() override {
|
|
|
|
if (children_.size() == 0)
|
|
|
|
return nullptr;
|
|
|
|
|
|
|
|
return children_[*selector_ % children_.size()];
|
|
|
|
}
|
|
|
|
|
|
|
|
void SetActiveChild(ComponentBase* child) override {
|
|
|
|
for (size_t i = 0; i < children_.size(); ++i) {
|
|
|
|
if (children_[i].get() == child) {
|
|
|
|
*selector_ = i;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-07-20 15:59:47 +08:00
|
|
|
protected:
|
2021-07-10 18:51:11 +08:00
|
|
|
// Handlers
|
2021-07-20 15:59:47 +08:00
|
|
|
virtual bool EventHandler(Event) { return false; }
|
|
|
|
|
|
|
|
virtual bool OnMouseEvent(Event event) {
|
2021-09-08 15:36:37 +08:00
|
|
|
return ComponentBase::OnEvent(event);
|
2021-07-20 15:59:47 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
int selected_ = 0;
|
|
|
|
int* selector_ = nullptr;
|
2021-08-06 04:40:40 +08:00
|
|
|
|
|
|
|
void MoveSelector(int dir) {
|
|
|
|
for (int i = *selector_ + dir; i >= 0 && i < (int)children_.size();
|
|
|
|
i += dir) {
|
|
|
|
if (children_[i]->Focusable()) {
|
|
|
|
*selector_ = i;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
void MoveSelectorWrap(int dir) {
|
|
|
|
for (size_t offset = 1; offset < children_.size(); ++offset) {
|
|
|
|
int i = (*selector_ + offset * dir + children_.size()) % children_.size();
|
|
|
|
if (children_[i]->Focusable()) {
|
|
|
|
*selector_ = i;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2021-07-20 15:59:47 +08:00
|
|
|
};
|
2021-07-10 18:51:11 +08:00
|
|
|
|
2021-07-20 15:59:47 +08:00
|
|
|
class VerticalContainer : public ContainerBase {
|
|
|
|
public:
|
|
|
|
using ContainerBase::ContainerBase;
|
|
|
|
|
|
|
|
Element Render() override {
|
|
|
|
Elements elements;
|
|
|
|
for (auto& it : children_)
|
|
|
|
elements.push_back(it->Render());
|
|
|
|
if (elements.size() == 0)
|
2021-09-16 06:47:31 +08:00
|
|
|
return text("Empty container") | reflect(box_);
|
|
|
|
return vbox(std::move(elements)) | reflect(box_);
|
2021-07-20 15:59:47 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
bool EventHandler(Event event) override {
|
2021-07-10 18:51:11 +08:00
|
|
|
int old_selected = *selector_;
|
|
|
|
if (event == Event::ArrowUp || event == Event::Character('k'))
|
2021-08-06 04:40:40 +08:00
|
|
|
MoveSelector(-1);
|
2021-07-10 18:51:11 +08:00
|
|
|
if (event == Event::ArrowDown || event == Event::Character('j'))
|
2021-08-06 04:40:40 +08:00
|
|
|
MoveSelector(+1);
|
2021-07-10 18:51:11 +08:00
|
|
|
if (event == Event::Tab && children_.size())
|
2021-08-06 04:40:40 +08:00
|
|
|
MoveSelectorWrap(+1);
|
2021-07-10 18:51:11 +08:00
|
|
|
if (event == Event::TabReverse && children_.size())
|
2021-08-06 04:40:40 +08:00
|
|
|
MoveSelectorWrap(-1);
|
2021-07-10 18:51:11 +08:00
|
|
|
|
|
|
|
*selector_ = std::max(0, std::min(int(children_.size()) - 1, *selector_));
|
|
|
|
return old_selected != *selector_;
|
|
|
|
}
|
2021-09-08 15:36:37 +08:00
|
|
|
|
|
|
|
bool OnMouseEvent(Event event) override {
|
|
|
|
if (ContainerBase::OnMouseEvent(event))
|
|
|
|
return true;
|
|
|
|
|
|
|
|
if (event.mouse().button != Mouse::WheelUp &&
|
|
|
|
event.mouse().button != Mouse::WheelDown) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2021-09-16 06:47:31 +08:00
|
|
|
if (!box_.Contain(event.mouse().x, event.mouse().y))
|
2021-09-08 15:36:37 +08:00
|
|
|
return false;
|
|
|
|
|
|
|
|
if (event.mouse().button == Mouse::WheelUp)
|
|
|
|
MoveSelector(-1);
|
|
|
|
if (event.mouse().button == Mouse::WheelDown)
|
|
|
|
MoveSelector(+1);
|
|
|
|
*selector_ = std::max(0, std::min(int(children_.size()) - 1, *selector_));
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
2021-09-16 06:47:31 +08:00
|
|
|
|
|
|
|
Box box_;
|
2021-07-20 15:59:47 +08:00
|
|
|
};
|
2021-07-10 18:51:11 +08:00
|
|
|
|
2021-07-20 15:59:47 +08:00
|
|
|
class HorizontalContainer : public ContainerBase {
|
|
|
|
public:
|
|
|
|
using ContainerBase::ContainerBase;
|
|
|
|
|
|
|
|
Element Render() override {
|
|
|
|
Elements elements;
|
|
|
|
for (auto& it : children_)
|
|
|
|
elements.push_back(it->Render());
|
|
|
|
if (elements.size() == 0)
|
2021-08-09 05:25:20 +08:00
|
|
|
return text("Empty container");
|
2021-07-20 15:59:47 +08:00
|
|
|
return hbox(std::move(elements));
|
|
|
|
}
|
|
|
|
|
|
|
|
bool EventHandler(Event event) override {
|
2021-07-10 18:51:11 +08:00
|
|
|
int old_selected = *selector_;
|
|
|
|
if (event == Event::ArrowLeft || event == Event::Character('h'))
|
2021-08-06 04:40:40 +08:00
|
|
|
MoveSelector(-1);
|
2021-07-10 18:51:11 +08:00
|
|
|
if (event == Event::ArrowRight || event == Event::Character('l'))
|
2021-08-06 04:40:40 +08:00
|
|
|
MoveSelector(+1);
|
2021-07-10 18:51:11 +08:00
|
|
|
if (event == Event::Tab && children_.size())
|
2021-08-06 04:40:40 +08:00
|
|
|
MoveSelectorWrap(+1);
|
2021-07-10 18:51:11 +08:00
|
|
|
if (event == Event::TabReverse && children_.size())
|
2021-08-06 04:40:40 +08:00
|
|
|
MoveSelectorWrap(-1);
|
2021-07-10 18:51:11 +08:00
|
|
|
|
|
|
|
*selector_ = std::max(0, std::min(int(children_.size()) - 1, *selector_));
|
|
|
|
return old_selected != *selector_;
|
|
|
|
}
|
2021-07-20 15:59:47 +08:00
|
|
|
};
|
2021-07-10 18:51:11 +08:00
|
|
|
|
2021-07-20 15:59:47 +08:00
|
|
|
class TabContainer : public ContainerBase {
|
|
|
|
public:
|
|
|
|
using ContainerBase::ContainerBase;
|
2021-07-10 18:51:11 +08:00
|
|
|
|
2021-07-20 15:59:47 +08:00
|
|
|
Element Render() override {
|
2021-07-10 18:51:11 +08:00
|
|
|
Component active_child = ActiveChild();
|
|
|
|
if (active_child)
|
|
|
|
return active_child->Render();
|
2021-08-09 05:25:20 +08:00
|
|
|
return text("Empty container");
|
2021-07-10 18:51:11 +08:00
|
|
|
}
|
|
|
|
|
2021-07-20 15:59:47 +08:00
|
|
|
bool OnMouseEvent(Event event) override {
|
|
|
|
return ActiveChild()->OnEvent(event);
|
|
|
|
}
|
2021-07-10 18:51:11 +08:00
|
|
|
};
|
|
|
|
|
2021-05-15 02:56:37 +08:00
|
|
|
namespace Container {
|
|
|
|
|
|
|
|
/// @brief A list of components, drawn one by one vertically and navigated
|
|
|
|
/// vertically using up/down arrow key or 'j'/'k' keys.
|
|
|
|
/// @param children the list of components.
|
|
|
|
/// @ingroup component
|
2021-05-15 03:43:35 +08:00
|
|
|
/// @see ContainerBase
|
2021-05-15 02:56:37 +08:00
|
|
|
///
|
|
|
|
/// ### Example
|
|
|
|
///
|
|
|
|
/// ```cpp
|
|
|
|
/// auto container = Container::Vertical({
|
|
|
|
/// children_1,
|
|
|
|
/// children_2,
|
|
|
|
/// children_3,
|
|
|
|
/// children_4,
|
|
|
|
/// });
|
|
|
|
/// ```
|
|
|
|
Component Vertical(Components children) {
|
2021-07-20 15:59:47 +08:00
|
|
|
return Vertical(std::move(children), nullptr);
|
2021-05-15 02:56:37 +08:00
|
|
|
}
|
|
|
|
|
2021-06-27 23:53:17 +08:00
|
|
|
/// @brief A list of components, drawn one by one vertically and navigated
|
|
|
|
/// vertically using up/down arrow key or 'j'/'k' keys.
|
|
|
|
/// This is useful for implementing a Menu for instance.
|
|
|
|
/// @param children the list of components.
|
2021-07-10 20:23:46 +08:00
|
|
|
/// @param selector A reference to the index of the selected children.
|
2021-06-27 23:53:17 +08:00
|
|
|
/// @ingroup component
|
|
|
|
/// @see ContainerBase
|
|
|
|
///
|
|
|
|
/// ### Example
|
|
|
|
///
|
|
|
|
/// ```cpp
|
|
|
|
/// auto container = Container::Vertical({
|
|
|
|
/// children_1,
|
|
|
|
/// children_2,
|
|
|
|
/// children_3,
|
|
|
|
/// children_4,
|
|
|
|
/// });
|
|
|
|
/// ```
|
|
|
|
Component Vertical(Components children, int* selector) {
|
2021-07-20 15:59:47 +08:00
|
|
|
return std::make_shared<VerticalContainer>(std::move(children), selector);
|
2021-06-27 23:53:17 +08:00
|
|
|
}
|
|
|
|
|
2021-05-15 02:56:37 +08:00
|
|
|
/// @brief A list of components, drawn one by one horizontally and navigated
|
|
|
|
/// horizontally using left/right arrow key or 'h'/'l' keys.
|
|
|
|
/// @param children the list of components.
|
|
|
|
/// @ingroup component
|
2021-05-15 03:43:35 +08:00
|
|
|
/// @see ContainerBase
|
2021-05-15 02:56:37 +08:00
|
|
|
///
|
|
|
|
/// ### Example
|
|
|
|
///
|
|
|
|
/// ```cpp
|
2021-06-27 23:53:17 +08:00
|
|
|
/// int selected_children = 2;
|
2021-05-15 02:56:37 +08:00
|
|
|
/// auto container = Container::Horizontal({
|
|
|
|
/// children_1,
|
|
|
|
/// children_2,
|
|
|
|
/// children_3,
|
|
|
|
/// children_4,
|
2021-06-27 23:53:17 +08:00
|
|
|
/// }, &selected_children);
|
2021-05-15 02:56:37 +08:00
|
|
|
/// ```
|
|
|
|
Component Horizontal(Components children) {
|
2021-07-20 15:59:47 +08:00
|
|
|
return Horizontal(std::move(children), nullptr);
|
2021-05-15 02:56:37 +08:00
|
|
|
}
|
|
|
|
|
2021-06-27 23:53:17 +08:00
|
|
|
/// @brief A list of components, drawn one by one horizontally and navigated
|
|
|
|
/// horizontally using left/right arrow key or 'h'/'l' keys.
|
|
|
|
/// @param children the list of components.
|
2021-07-10 20:23:46 +08:00
|
|
|
/// @param selector A reference to the index of the selected children.
|
2021-06-27 23:53:17 +08:00
|
|
|
/// @ingroup component
|
|
|
|
/// @see ContainerBase
|
|
|
|
///
|
|
|
|
/// ### Example
|
|
|
|
///
|
|
|
|
/// ```cpp
|
|
|
|
/// int selected_children = 2;
|
|
|
|
/// auto container = Container::Horizontal({
|
|
|
|
/// children_1,
|
|
|
|
/// children_2,
|
|
|
|
/// children_3,
|
|
|
|
/// children_4,
|
|
|
|
/// }, selected_children);
|
|
|
|
/// ```
|
|
|
|
Component Horizontal(Components children, int* selector) {
|
2021-07-20 15:59:47 +08:00
|
|
|
return std::make_shared<HorizontalContainer>(std::move(children), selector);
|
2021-06-27 23:53:17 +08:00
|
|
|
}
|
|
|
|
|
2021-05-15 02:56:37 +08:00
|
|
|
/// @brief A list of components, where only one is drawn and interacted with at
|
|
|
|
/// a time. The |selector| gives the index of the selected component. This is
|
|
|
|
/// useful to implement tabs.
|
2021-07-10 20:23:46 +08:00
|
|
|
/// @param children The list of components.
|
2021-07-20 15:59:47 +08:00
|
|
|
/// @param selector The index of the drawn children.
|
2021-05-15 02:56:37 +08:00
|
|
|
/// @ingroup component
|
2021-05-15 03:43:35 +08:00
|
|
|
/// @see ContainerBase
|
2021-05-15 02:56:37 +08:00
|
|
|
///
|
|
|
|
/// ### Example
|
|
|
|
///
|
|
|
|
/// ```cpp
|
|
|
|
/// int tab_drawn = 0;
|
2021-05-15 08:32:42 +08:00
|
|
|
/// auto container = Container::Tab({
|
2021-05-15 02:56:37 +08:00
|
|
|
/// children_1,
|
|
|
|
/// children_2,
|
|
|
|
/// children_3,
|
|
|
|
/// children_4,
|
2021-05-15 08:32:42 +08:00
|
|
|
/// }, &tab_drawn);
|
2021-05-15 02:56:37 +08:00
|
|
|
/// ```
|
2021-05-15 08:32:42 +08:00
|
|
|
Component Tab(Components children, int* selector) {
|
2021-07-20 15:59:47 +08:00
|
|
|
return std::make_shared<TabContainer>(std::move(children), selector);
|
2021-05-15 02:56:37 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace Container
|
2021-05-10 02:32:27 +08:00
|
|
|
|
2019-01-13 01:24:46 +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.
|