From d907fe48f7314bdae7ac3e8460c402a6187d731b Mon Sep 17 00:00:00 2001 From: ArthurSonzogni Date: Wed, 25 Dec 2024 19:19:37 +0100 Subject: [PATCH] Fix bug with "flex" element not settings their box. --- src/ftxui/component/container.cpp | 3 ++- src/ftxui/dom/flex.cpp | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/ftxui/component/container.cpp b/src/ftxui/component/container.cpp index 1948a47d9..410bb9f5c 100644 --- a/src/ftxui/component/container.cpp +++ b/src/ftxui/component/container.cpp @@ -163,6 +163,7 @@ class VerticalContainer : public ContainerBase { return false; } + int old_selected = *selector_; if (event.mouse().button == Mouse::WheelUp) { MoveSelector(-1); } @@ -171,7 +172,7 @@ class VerticalContainer : public ContainerBase { } *selector_ = std::max(0, std::min(int(children_.size()) - 1, *selector_)); - return true; + return old_selected != *selector_; } Box box_; diff --git a/src/ftxui/dom/flex.cpp b/src/ftxui/dom/flex.cpp index 2fd3adf67..b6f95c6e6 100644 --- a/src/ftxui/dom/flex.cpp +++ b/src/ftxui/dom/flex.cpp @@ -80,6 +80,7 @@ class Flex : public Node { } void SetBox(Box box) override { + Node::SetBox(box); if (children_.empty()) { return; }