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.
|
|
|
|
|
2019-01-07 00:10:35 +08:00
|
|
|
#include "ftxui/component/screen_interactive.hpp"
|
2019-01-05 09:03:49 +08:00
|
|
|
|
2018-10-10 01:06:03 +08:00
|
|
|
#include <stdio.h>
|
2020-03-24 04:26:00 +08:00
|
|
|
|
|
|
|
#include <algorithm>
|
2019-06-30 00:52:58 +08:00
|
|
|
#include <csignal>
|
2020-07-17 02:58:58 +08:00
|
|
|
#include <cstdlib>
|
2019-01-07 00:10:35 +08:00
|
|
|
#include <iostream>
|
2019-06-30 00:52:58 +08:00
|
|
|
#include <stack>
|
2019-06-23 23:47:33 +08:00
|
|
|
#include <thread>
|
2020-03-24 04:26:00 +08:00
|
|
|
|
2019-01-07 00:10:35 +08:00
|
|
|
#include "ftxui/component/component.hpp"
|
2019-06-23 23:47:33 +08:00
|
|
|
#include "ftxui/screen/string.hpp"
|
2019-01-12 22:00:08 +08:00
|
|
|
#include "ftxui/screen/terminal.hpp"
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2020-03-25 15:54:03 +08:00
|
|
|
#if defined(_WIN32)
|
2020-08-09 20:53:56 +08:00
|
|
|
#define DEFINE_CONSOLEV2_PROPERTIES
|
2020-03-21 23:21:32 +08:00
|
|
|
#define WIN32_LEAN_AND_MEAN
|
2020-07-17 02:58:58 +08:00
|
|
|
#ifndef NOMINMAX
|
|
|
|
#define NOMINMAX
|
|
|
|
#endif
|
2020-05-25 07:34:13 +08:00
|
|
|
#include <Windows.h>
|
2020-03-25 08:38:50 +08:00
|
|
|
#ifndef UNICODE
|
|
|
|
#error Must be compiled in UNICODE mode
|
|
|
|
#endif
|
2020-03-21 23:21:32 +08:00
|
|
|
#else
|
|
|
|
#include <termios.h>
|
|
|
|
#include <unistd.h>
|
|
|
|
#endif
|
|
|
|
|
|
|
|
// Quick exit is missing in standard CLang headers
|
2020-03-24 04:26:00 +08:00
|
|
|
#if defined(__clang__) && defined(__APPLE__)
|
|
|
|
#define quick_exit(a) exit(a)
|
2020-02-03 04:27:46 +08:00
|
|
|
#endif
|
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
namespace ftxui {
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2020-08-09 20:53:56 +08:00
|
|
|
namespace {
|
2020-03-25 08:15:46 +08:00
|
|
|
// Produce a stream of Event from a stream of char.
|
|
|
|
void CharToEventStream(Receiver<char> receiver, Sender<Event> sender) {
|
|
|
|
char c;
|
|
|
|
while (receiver->Receive(&c))
|
|
|
|
Event::Convert(receiver, sender, c);
|
|
|
|
}
|
|
|
|
|
2020-03-25 15:54:03 +08:00
|
|
|
#if defined(_WIN32)
|
2020-03-25 08:38:50 +08:00
|
|
|
|
|
|
|
void Win32EventListener(std::atomic<bool>* quit,
|
|
|
|
Sender<char> char_sender,
|
|
|
|
Sender<Event> event_sender) {
|
|
|
|
auto console = GetStdHandle(STD_INPUT_HANDLE);
|
|
|
|
while (!*quit) {
|
|
|
|
// Throttle ReadConsoleInput by waiting 250ms, this wait function will
|
|
|
|
// return if there is input in the console.
|
|
|
|
auto wait_result = WaitForSingleObject(console, 250);
|
|
|
|
if (wait_result == WAIT_TIMEOUT)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
DWORD number_of_events = 0;
|
|
|
|
if (!GetNumberOfConsoleInputEvents(console, &number_of_events))
|
|
|
|
continue;
|
|
|
|
if (number_of_events <= 0)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
std::vector<INPUT_RECORD> records{number_of_events};
|
|
|
|
DWORD number_of_events_read = 0;
|
|
|
|
ReadConsoleInput(console, records.data(),
|
|
|
|
(DWORD)(records.size() * sizeof(INPUT_RECORD)),
|
|
|
|
&number_of_events_read);
|
|
|
|
records.resize(number_of_events_read);
|
|
|
|
|
|
|
|
for (const auto& r : records) {
|
|
|
|
switch (r.EventType) {
|
|
|
|
case KEY_EVENT: {
|
|
|
|
auto key_event = r.Event.KeyEvent;
|
|
|
|
// ignore UP key events
|
|
|
|
if (key_event.bKeyDown == FALSE)
|
|
|
|
continue;
|
|
|
|
char_sender->Send((char)key_event.uChar.UnicodeChar);
|
|
|
|
} break;
|
|
|
|
case WINDOW_BUFFER_SIZE_EVENT:
|
|
|
|
event_sender->Send(Event::Special({0}));
|
|
|
|
break;
|
|
|
|
case MENU_EVENT:
|
|
|
|
case FOCUS_EVENT:
|
|
|
|
case MOUSE_EVENT:
|
|
|
|
// TODO(mauve): Implement later.
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
2020-05-02 08:02:04 +08:00
|
|
|
int CheckStdinReady(int usec_timeout) {
|
|
|
|
timeval tv = {0, usec_timeout};
|
|
|
|
fd_set fds;
|
|
|
|
FD_ZERO(&fds);
|
|
|
|
FD_SET(STDIN_FILENO, &fds);
|
|
|
|
select(STDIN_FILENO + 1, &fds, NULL, NULL, &tv);
|
|
|
|
return FD_ISSET(STDIN_FILENO, &fds);
|
|
|
|
}
|
|
|
|
|
2020-03-25 08:15:46 +08:00
|
|
|
// Read char from the terminal.
|
|
|
|
void UnixEventListener(std::atomic<bool>* quit, Sender<char> sender) {
|
2020-05-02 08:02:04 +08:00
|
|
|
const int buffer_size = 100;
|
|
|
|
const int timeout_usec = 50000;
|
2020-05-02 05:33:21 +08:00
|
|
|
|
|
|
|
while (!*quit) {
|
2020-05-02 08:02:04 +08:00
|
|
|
if (!CheckStdinReady(timeout_usec))
|
2020-05-02 05:33:21 +08:00
|
|
|
continue;
|
2020-05-02 08:02:04 +08:00
|
|
|
char buff[buffer_size];
|
|
|
|
int l = read(fileno(stdin), buff, buffer_size);
|
|
|
|
for (int i = 0; i < l; ++i)
|
|
|
|
sender->Send(buff[i]);
|
2020-05-02 05:33:21 +08:00
|
|
|
}
|
2020-03-25 08:15:46 +08:00
|
|
|
}
|
|
|
|
|
2020-03-25 08:38:50 +08:00
|
|
|
#endif
|
|
|
|
|
2020-02-12 04:44:55 +08:00
|
|
|
static const char* HIDE_CURSOR = "\x1B[?25l";
|
|
|
|
static const char* SHOW_CURSOR = "\x1B[?25h";
|
2019-06-30 00:52:58 +08:00
|
|
|
|
2020-02-12 04:44:55 +08:00
|
|
|
static const char* DISABLE_LINE_WRAP = "\x1B[7l";
|
|
|
|
static const char* ENABLE_LINE_WRAP = "\x1B[7h";
|
2019-07-01 05:53:56 +08:00
|
|
|
|
2020-05-03 02:39:56 +08:00
|
|
|
static const char* USE_ALTERNATIVE_SCREEN = "\x1B[?1049h";
|
|
|
|
static const char* USE_NORMAL_SCREEN = "\x1B[?1049l";
|
|
|
|
|
2020-03-23 16:23:57 +08:00
|
|
|
using SignalHandler = void(int);
|
2019-06-30 00:52:58 +08:00
|
|
|
std::stack<std::function<void()>> on_exit_functions;
|
|
|
|
void OnExit(int signal) {
|
|
|
|
while (!on_exit_functions.empty()) {
|
|
|
|
on_exit_functions.top()();
|
|
|
|
on_exit_functions.pop();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (signal == SIGINT)
|
2020-07-17 02:58:58 +08:00
|
|
|
std::exit(SIGINT);
|
2019-06-30 00:52:58 +08:00
|
|
|
}
|
|
|
|
|
2020-03-23 16:23:57 +08:00
|
|
|
auto install_signal_handler = [](int sig, SignalHandler handler) {
|
|
|
|
auto old_signal_handler = std::signal(sig, handler);
|
|
|
|
on_exit_functions.push([&]() { std::signal(sig, old_signal_handler); });
|
|
|
|
};
|
|
|
|
|
2020-03-24 04:26:00 +08:00
|
|
|
std::function<void()> on_resize = [] {};
|
2019-07-01 05:59:27 +08:00
|
|
|
void OnResize(int /* signal */) {
|
2019-07-01 05:53:56 +08:00
|
|
|
on_resize();
|
|
|
|
}
|
|
|
|
|
2020-08-09 20:53:56 +08:00
|
|
|
} // namespace
|
|
|
|
|
2020-05-03 02:39:56 +08:00
|
|
|
ScreenInteractive::ScreenInteractive(int dimx,
|
|
|
|
int dimy,
|
|
|
|
Dimension dimension,
|
|
|
|
bool use_alternative_screen)
|
|
|
|
: Screen(dimx, dimy),
|
|
|
|
dimension_(dimension),
|
|
|
|
use_alternative_screen_(use_alternative_screen) {
|
2020-03-25 07:07:41 +08:00
|
|
|
event_receiver_ = MakeReceiver<Event>();
|
|
|
|
event_sender_ = event_receiver_->MakeSender();
|
2020-03-25 06:26:55 +08:00
|
|
|
}
|
|
|
|
|
2018-10-10 01:06:03 +08:00
|
|
|
ScreenInteractive::~ScreenInteractive() {}
|
|
|
|
|
2019-01-05 09:03:49 +08:00
|
|
|
// static
|
2019-01-27 04:52:55 +08:00
|
|
|
ScreenInteractive ScreenInteractive::FixedSize(int dimx, int dimy) {
|
2020-05-03 02:39:56 +08:00
|
|
|
return ScreenInteractive(dimx, dimy, Dimension::Fixed, false);
|
2019-01-05 09:03:49 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// static
|
|
|
|
ScreenInteractive ScreenInteractive::Fullscreen() {
|
2020-05-03 02:39:56 +08:00
|
|
|
return ScreenInteractive(0, 0, Dimension::Fullscreen, true);
|
2019-01-05 09:03:49 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// static
|
|
|
|
ScreenInteractive ScreenInteractive::TerminalOutput() {
|
2020-05-03 02:39:56 +08:00
|
|
|
return ScreenInteractive(0, 0, Dimension::TerminalOutput, false);
|
2019-01-05 09:03:49 +08:00
|
|
|
}
|
|
|
|
|
2019-01-19 07:20:29 +08:00
|
|
|
// static
|
|
|
|
ScreenInteractive ScreenInteractive::FitComponent() {
|
2020-05-03 02:39:56 +08:00
|
|
|
return ScreenInteractive(0, 0, Dimension::FitComponent, false);
|
2019-01-19 07:20:29 +08:00
|
|
|
}
|
|
|
|
|
2019-02-02 23:28:44 +08:00
|
|
|
void ScreenInteractive::PostEvent(Event event) {
|
2020-03-25 08:15:46 +08:00
|
|
|
if (!quit_)
|
|
|
|
event_sender_->Send(event);
|
2019-01-27 09:33:06 +08:00
|
|
|
}
|
|
|
|
|
2019-01-13 01:24:46 +08:00
|
|
|
void ScreenInteractive::Loop(Component* component) {
|
2020-05-02 05:48:22 +08:00
|
|
|
// Install a SIGINT handler and restore the old handler on exit.
|
|
|
|
auto old_sigint_handler = std::signal(SIGINT, OnExit);
|
|
|
|
on_exit_functions.push(
|
|
|
|
[old_sigint_handler]() { std::signal(SIGINT, old_sigint_handler); });
|
|
|
|
|
2019-06-30 00:52:58 +08:00
|
|
|
// Save the old terminal configuration and restore it on exit.
|
2020-03-25 15:54:03 +08:00
|
|
|
#if defined(_WIN32)
|
2020-03-22 18:29:33 +08:00
|
|
|
// Enable VT processing on stdout and stdin
|
|
|
|
auto stdout_handle = GetStdHandle(STD_OUTPUT_HANDLE);
|
|
|
|
auto stdin_handle = GetStdHandle(STD_INPUT_HANDLE);
|
|
|
|
|
|
|
|
DWORD out_mode = 0;
|
|
|
|
DWORD in_mode = 0;
|
|
|
|
GetConsoleMode(stdout_handle, &out_mode);
|
|
|
|
GetConsoleMode(stdin_handle, &in_mode);
|
|
|
|
on_exit_functions.push([=] { SetConsoleMode(stdout_handle, out_mode); });
|
|
|
|
on_exit_functions.push([=] { SetConsoleMode(stdin_handle, in_mode); });
|
|
|
|
|
2020-07-17 02:58:58 +08:00
|
|
|
// https://docs.microsoft.com/en-us/windows/console/setconsolemode
|
|
|
|
const int enable_virtual_terminal_processing = 0x0004;
|
|
|
|
const int disable_newline_auto_return = 0x0008;
|
|
|
|
out_mode |= enable_virtual_terminal_processing;
|
|
|
|
out_mode |= disable_newline_auto_return;
|
|
|
|
|
|
|
|
// https://docs.microsoft.com/en-us/windows/console/setconsolemode
|
|
|
|
const int enable_line_input = 0x0002;
|
|
|
|
const int enable_echo_input = 0x0004;
|
|
|
|
const int enable_virtual_terminal_input = 0x0200;
|
|
|
|
const int enable_window_input = 0x0008;
|
|
|
|
in_mode &= ~enable_echo_input;
|
|
|
|
in_mode &= ~enable_line_input;
|
|
|
|
in_mode |= enable_virtual_terminal_input;
|
|
|
|
in_mode |= enable_window_input;
|
2020-03-22 18:29:33 +08:00
|
|
|
|
|
|
|
SetConsoleMode(stdin_handle, in_mode);
|
|
|
|
SetConsoleMode(stdout_handle, out_mode);
|
2020-03-21 23:21:32 +08:00
|
|
|
#else
|
2020-03-22 18:29:33 +08:00
|
|
|
struct termios terminal;
|
|
|
|
tcgetattr(STDIN_FILENO, &terminal);
|
|
|
|
on_exit_functions.push([=] { tcsetattr(STDIN_FILENO, TCSANOW, &terminal); });
|
|
|
|
|
|
|
|
terminal.c_lflag &= ~ICANON; // Non canonique terminal.
|
|
|
|
terminal.c_lflag &= ~ECHO; // Do not print after a key press.
|
2020-05-02 08:02:04 +08:00
|
|
|
terminal.c_cc[VMIN] = 0;
|
|
|
|
terminal.c_cc[VTIME] = 0;
|
2020-05-21 02:51:07 +08:00
|
|
|
// auto oldf = fcntl(STDIN_FILENO, F_GETFL, 0);
|
|
|
|
// fcntl(STDIN_FILENO, F_SETFL, oldf | O_NONBLOCK);
|
|
|
|
// on_exit_functions.push([=] { fcntl(STDIN_FILENO, F_GETFL, oldf); });
|
2020-05-02 08:02:04 +08:00
|
|
|
|
2020-03-22 18:29:33 +08:00
|
|
|
tcsetattr(STDIN_FILENO, TCSANOW, &terminal);
|
2020-03-24 08:26:06 +08:00
|
|
|
|
|
|
|
// Handle resize.
|
2020-03-25 08:38:50 +08:00
|
|
|
on_resize = [&] { event_sender_->Send(Event::Special({0})); };
|
2020-03-24 08:26:06 +08:00
|
|
|
install_signal_handler(SIGWINCH, OnResize);
|
2020-03-21 23:21:32 +08:00
|
|
|
#endif
|
2018-10-10 01:06:03 +08:00
|
|
|
|
2019-06-30 00:52:58 +08:00
|
|
|
// Hide the cursor and show it at exit.
|
2019-07-01 05:53:56 +08:00
|
|
|
std::cout << HIDE_CURSOR;
|
|
|
|
std::cout << DISABLE_LINE_WRAP;
|
|
|
|
std::cout << std::flush;
|
|
|
|
on_exit_functions.push([&] {
|
2019-06-30 00:52:58 +08:00
|
|
|
std::cout << reset_cursor_position;
|
|
|
|
std::cout << SHOW_CURSOR;
|
2019-07-01 05:53:56 +08:00
|
|
|
std::cout << ENABLE_LINE_WRAP;
|
2019-09-19 04:02:51 +08:00
|
|
|
std::cout << std::endl;
|
2019-06-30 00:52:58 +08:00
|
|
|
});
|
|
|
|
|
2020-03-25 08:15:46 +08:00
|
|
|
// Produce a stream of Event from a stream of char.
|
2020-03-25 07:07:41 +08:00
|
|
|
auto char_receiver = MakeReceiver<char>();
|
|
|
|
auto char_sender = char_receiver->MakeSender();
|
2020-03-25 08:38:50 +08:00
|
|
|
auto event_sender_1 = event_receiver_->MakeSender();
|
2020-03-25 08:15:46 +08:00
|
|
|
auto char_to_event_stream = std::thread(
|
2020-03-25 08:38:50 +08:00
|
|
|
CharToEventStream, std::move(char_receiver), std::move(event_sender_1));
|
2020-03-25 08:15:46 +08:00
|
|
|
|
|
|
|
// Depending on the OS, start a thread that will produce events and/or chars.
|
2020-03-25 15:54:03 +08:00
|
|
|
#if defined(_WIN32)
|
2020-03-25 08:38:50 +08:00
|
|
|
auto event_sender_2 = event_receiver_->MakeSender();
|
|
|
|
auto event_listener =
|
|
|
|
std::thread(&Win32EventListener, &quit_, std::move(char_sender),
|
|
|
|
std::move(event_sender_2));
|
2020-03-25 08:15:46 +08:00
|
|
|
#else
|
2020-03-25 08:38:50 +08:00
|
|
|
auto event_listener =
|
2020-03-25 08:15:46 +08:00
|
|
|
std::thread(&UnixEventListener, &quit_, std::move(char_sender));
|
|
|
|
#endif
|
2019-01-27 09:33:06 +08:00
|
|
|
|
2020-05-03 02:39:56 +08:00
|
|
|
if (use_alternative_screen_) {
|
|
|
|
std::cout << USE_ALTERNATIVE_SCREEN;
|
|
|
|
on_exit_functions.push([] { std::cout << USE_NORMAL_SCREEN; });
|
|
|
|
}
|
|
|
|
|
2020-03-23 16:23:57 +08:00
|
|
|
// The main loop.
|
2019-01-07 00:10:35 +08:00
|
|
|
while (!quit_) {
|
2020-06-01 21:57:18 +08:00
|
|
|
if (!event_receiver_->HasPending()) {
|
|
|
|
std::cout << reset_cursor_position << ResetPosition();
|
|
|
|
Draw(component);
|
|
|
|
std::cout << ToString() << set_cursor_position << std::flush;
|
|
|
|
Clear();
|
|
|
|
}
|
2020-03-25 06:26:55 +08:00
|
|
|
Event event;
|
2020-03-25 07:07:41 +08:00
|
|
|
if (event_receiver_->Receive(&event))
|
2020-03-25 06:26:55 +08:00
|
|
|
component->OnEvent(event);
|
2019-01-07 00:10:35 +08:00
|
|
|
}
|
2020-03-25 08:15:46 +08:00
|
|
|
|
|
|
|
char_to_event_stream.join();
|
2020-03-25 08:38:50 +08:00
|
|
|
event_listener.join();
|
2019-06-30 00:52:58 +08:00
|
|
|
OnExit(0);
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
|
2019-01-13 01:24:46 +08:00
|
|
|
void ScreenInteractive::Draw(Component* component) {
|
|
|
|
auto document = component->Render();
|
2020-02-12 05:34:01 +08:00
|
|
|
int dimx = 0;
|
|
|
|
int dimy = 0;
|
2019-01-07 00:10:35 +08:00
|
|
|
switch (dimension_) {
|
2019-01-05 09:03:49 +08:00
|
|
|
case Dimension::Fixed:
|
2019-01-13 01:24:46 +08:00
|
|
|
dimx = dimx_;
|
|
|
|
dimy = dimy_;
|
2019-01-05 09:03:49 +08:00
|
|
|
break;
|
|
|
|
case Dimension::TerminalOutput:
|
|
|
|
document->ComputeRequirement();
|
|
|
|
dimx = Terminal::Size().dimx;
|
2020-06-01 22:13:29 +08:00
|
|
|
dimy = document->requirement().min_y;
|
2019-01-05 09:03:49 +08:00
|
|
|
break;
|
|
|
|
case Dimension::Fullscreen:
|
|
|
|
dimx = Terminal::Size().dimx;
|
|
|
|
dimy = Terminal::Size().dimy;
|
|
|
|
break;
|
2019-01-19 07:20:29 +08:00
|
|
|
case Dimension::FitComponent:
|
2019-01-21 06:04:10 +08:00
|
|
|
auto terminal = Terminal::Size();
|
2019-01-19 07:20:29 +08:00
|
|
|
document->ComputeRequirement();
|
2020-06-01 22:13:29 +08:00
|
|
|
dimx = std::min(document->requirement().min_x, terminal.dimx);
|
|
|
|
dimy = std::min(document->requirement().min_y, terminal.dimy);
|
2019-01-19 07:20:29 +08:00
|
|
|
break;
|
2019-01-05 09:03:49 +08:00
|
|
|
}
|
|
|
|
|
2019-06-30 00:52:58 +08:00
|
|
|
// Resize the screen if needed.
|
2019-01-05 09:03:49 +08:00
|
|
|
if (dimx != dimx_ || dimy != dimy_) {
|
|
|
|
dimx_ = dimx;
|
|
|
|
dimy_ = dimy;
|
2020-03-24 04:26:00 +08:00
|
|
|
pixels_ = std::vector<std::vector<Pixel>>(dimy, std::vector<Pixel>(dimx));
|
2019-06-30 00:52:58 +08:00
|
|
|
cursor_.x = dimx_ - 1;
|
|
|
|
cursor_.y = dimy_ - 1;
|
2019-01-05 09:03:49 +08:00
|
|
|
}
|
|
|
|
|
2020-05-21 03:23:59 +08:00
|
|
|
Render(*this, document);
|
2019-06-30 00:52:58 +08:00
|
|
|
|
|
|
|
// Set cursor position for user using tools to insert CJK characters.
|
|
|
|
set_cursor_position = "";
|
|
|
|
reset_cursor_position = "";
|
|
|
|
|
|
|
|
int dx = dimx_ - 1 - cursor_.x;
|
|
|
|
int dy = dimy_ - 1 - cursor_.y;
|
|
|
|
|
|
|
|
if (dx != 0) {
|
2020-02-12 04:44:55 +08:00
|
|
|
set_cursor_position += "\x1B[" + std::to_string(dx) + "D";
|
|
|
|
reset_cursor_position += "\x1B[" + std::to_string(dx) + "C";
|
2019-06-30 00:52:58 +08:00
|
|
|
}
|
|
|
|
if (dy != 0) {
|
2020-03-24 04:26:00 +08:00
|
|
|
set_cursor_position += "\x1B[" + std::to_string(dy) + "A";
|
2020-02-12 04:44:55 +08:00
|
|
|
reset_cursor_position += "\x1B[" + std::to_string(dy) + "B";
|
2019-06-30 00:52:58 +08:00
|
|
|
}
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
std::function<void()> ScreenInteractive::ExitLoopClosure() {
|
2020-03-25 08:15:46 +08:00
|
|
|
return [this]() {
|
|
|
|
quit_ = true;
|
|
|
|
event_sender_.reset();
|
|
|
|
};
|
2018-10-10 01:06:03 +08:00
|
|
|
}
|
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
} // namespace ftxui.
|