2020-04-20 03:00:37 +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.
|
|
|
|
|
2018-10-10 01:06:03 +08:00
|
|
|
#include "ftxui/component/toggle.hpp"
|
2020-03-24 04:26:00 +08:00
|
|
|
|
2020-03-23 05:32:44 +08:00
|
|
|
#include <algorithm>
|
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
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
Element Toggle::Render() {
|
2019-01-20 05:06:05 +08:00
|
|
|
bool is_focused = Focused();
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2019-01-13 01:24:46 +08:00
|
|
|
Elements children;
|
2019-11-02 02:52:41 +08:00
|
|
|
for (size_t i = 0; i < entries.size(); ++i) {
|
2019-01-03 07:35:59 +08:00
|
|
|
// Separator.
|
|
|
|
if (i != 0)
|
2019-01-05 09:03:49 +08:00
|
|
|
children.push_back(separator());
|
2019-01-03 07:35:59 +08:00
|
|
|
|
|
|
|
// Entry.
|
2019-01-20 05:06:05 +08:00
|
|
|
auto style = (selected != int(i))
|
|
|
|
? normal_style
|
|
|
|
: is_focused ? focused_style : selected_style;
|
|
|
|
auto focused = (selected != int(i)) ? nothing : is_focused ? focus : select;
|
|
|
|
children.push_back(text(entries[i]) | style | focused);
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
return hbox(std::move(children));
|
|
|
|
}
|
|
|
|
|
2018-10-19 04:58:38 +08:00
|
|
|
bool Toggle::OnEvent(Event event) {
|
2019-11-02 02:52:41 +08:00
|
|
|
int old_selected = selected;
|
|
|
|
if (event == Event::ArrowLeft || event == Event::Character('h'))
|
2019-01-13 05:25:49 +08:00
|
|
|
selected--;
|
2019-11-02 02:52:41 +08:00
|
|
|
if (event == Event::ArrowRight || event == Event::Character('l'))
|
2019-01-13 05:25:49 +08:00
|
|
|
selected++;
|
2019-11-02 02:52:41 +08:00
|
|
|
if (event == Event::Tab && entries.size())
|
|
|
|
selected = (selected + 1) % entries.size();
|
|
|
|
if (event == Event::TabReverse && entries.size())
|
|
|
|
selected = (selected + entries.size() - 1) % entries.size();
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2019-11-02 02:52:41 +08:00
|
|
|
selected = std::max(0, std::min(int(entries.size()) - 1, selected));
|
2020-08-03 04:11:05 +08:00
|
|
|
|
|
|
|
if (old_selected != selected)
|
|
|
|
on_change();
|
|
|
|
|
2019-11-02 02:52:41 +08:00
|
|
|
return old_selected != selected;
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
} // namespace ftxui
|