2019-11-16 11:27:06 +01:00
|
|
|
#ifndef terminal_hh_INCLUDED
|
|
|
|
#define terminal_hh_INCLUDED
|
2012-02-16 15:25:16 +01:00
|
|
|
|
2017-03-07 02:12:37 +01:00
|
|
|
#include "array_view.hh"
|
2014-11-12 22:27:07 +01:00
|
|
|
#include "coord.hh"
|
2019-11-22 11:48:26 +01:00
|
|
|
#include "display_buffer.hh"
|
2013-01-11 19:17:21 +01:00
|
|
|
#include "event_manager.hh"
|
2014-11-12 22:27:07 +01:00
|
|
|
#include "face.hh"
|
2017-03-07 01:30:54 +01:00
|
|
|
#include "hash_map.hh"
|
2017-03-07 02:12:37 +01:00
|
|
|
#include "optional.hh"
|
|
|
|
#include "string.hh"
|
|
|
|
#include "user_interface.hh"
|
2013-04-09 20:05:40 +02:00
|
|
|
|
2019-09-08 14:53:06 +02:00
|
|
|
#include <termios.h>
|
|
|
|
|
2012-02-16 15:25:16 +01:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2019-09-26 12:22:27 +02:00
|
|
|
struct DisplayAtom;
|
2021-07-31 01:45:36 +02:00
|
|
|
struct Writer;
|
2019-09-17 11:06:49 +02:00
|
|
|
|
2019-11-16 11:27:06 +01:00
|
|
|
class TerminalUI : public UserInterface, public Singleton<TerminalUI>
|
2012-02-16 15:25:16 +01:00
|
|
|
{
|
2012-06-06 01:15:19 +02:00
|
|
|
public:
|
2019-11-16 11:27:06 +01:00
|
|
|
TerminalUI();
|
|
|
|
~TerminalUI() override;
|
2012-02-16 15:25:16 +01:00
|
|
|
|
2019-11-16 11:27:06 +01:00
|
|
|
TerminalUI(const TerminalUI&) = delete;
|
|
|
|
TerminalUI& operator=(const TerminalUI&) = delete;
|
2012-02-16 15:25:16 +01:00
|
|
|
|
2019-09-04 16:04:27 +02:00
|
|
|
bool is_ok() const override { return (bool)m_window; }
|
2018-04-29 14:27:28 +02:00
|
|
|
|
2012-10-20 20:15:20 +02:00
|
|
|
void draw(const DisplayBuffer& display_buffer,
|
2016-02-17 14:32:05 +01:00
|
|
|
const Face& default_face,
|
|
|
|
const Face& padding_face) override;
|
2012-06-06 01:15:19 +02:00
|
|
|
|
2015-06-17 22:28:02 +02:00
|
|
|
void draw_status(const DisplayLine& status_line,
|
|
|
|
const DisplayLine& mode_line,
|
|
|
|
const Face& default_face) override;
|
|
|
|
|
2015-10-05 02:25:23 +02:00
|
|
|
void menu_show(ConstArrayView<DisplayLine> items,
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord anchor, Face fg, Face bg,
|
2013-04-04 13:53:47 +02:00
|
|
|
MenuStyle style) override;
|
2012-09-05 19:02:06 +02:00
|
|
|
void menu_select(int selected) override;
|
|
|
|
void menu_hide() override;
|
2012-10-20 20:15:20 +02:00
|
|
|
|
2019-11-22 11:48:26 +01:00
|
|
|
void info_show(const DisplayLine& title, const DisplayLineList& content,
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord anchor, Face face,
|
2014-11-08 18:59:38 +01:00
|
|
|
InfoStyle style) override;
|
2012-12-14 19:04:34 +01:00
|
|
|
void info_hide() override;
|
|
|
|
|
2017-04-12 11:39:17 +02:00
|
|
|
void set_cursor(CursorMode mode, DisplayCoord coord) override;
|
2014-04-15 20:19:44 +02:00
|
|
|
|
2017-04-12 11:39:17 +02:00
|
|
|
void refresh(bool force) override;
|
2014-11-11 00:29:16 +01:00
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord dimensions() override;
|
2016-11-29 22:35:53 +01:00
|
|
|
void set_on_key(OnKeyCallback callback) override;
|
|
|
|
void set_ui_options(const Options& options) override;
|
2013-04-12 01:28:22 +02:00
|
|
|
|
2019-11-13 13:31:24 +01:00
|
|
|
static void setup_terminal();
|
|
|
|
static void restore_terminal();
|
2015-12-05 11:51:46 +01:00
|
|
|
|
2019-09-09 12:11:04 +02:00
|
|
|
void suspend();
|
|
|
|
|
2015-12-05 11:51:46 +01:00
|
|
|
struct Rect
|
|
|
|
{
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord pos;
|
|
|
|
DisplayCoord size;
|
2015-12-05 11:51:46 +01:00
|
|
|
};
|
2016-11-14 01:49:34 +01:00
|
|
|
|
2012-08-30 21:53:22 +02:00
|
|
|
private:
|
2015-06-30 01:31:26 +02:00
|
|
|
void check_resize(bool force = false);
|
2019-09-04 16:04:27 +02:00
|
|
|
void redraw(bool force);
|
2015-10-08 21:17:35 +02:00
|
|
|
|
2016-11-29 22:35:53 +01:00
|
|
|
Optional<Key> get_next_key();
|
|
|
|
|
2015-12-05 11:51:46 +01:00
|
|
|
struct Window : Rect
|
2015-09-11 00:39:19 +02:00
|
|
|
{
|
2016-09-22 21:36:26 +02:00
|
|
|
void create(const DisplayCoord& pos, const DisplayCoord& size);
|
2015-09-11 00:39:19 +02:00
|
|
|
void destroy();
|
2019-11-30 12:47:18 +01:00
|
|
|
void blit(Window& target);
|
2020-03-28 02:54:49 +01:00
|
|
|
void draw(DisplayCoord pos, ConstArrayView<DisplayAtom> atoms, const Face& default_face);
|
2019-11-13 13:31:24 +01:00
|
|
|
|
2021-07-31 07:06:21 +02:00
|
|
|
explicit operator bool() const { return (bool)lines; }
|
2015-09-11 00:39:19 +02:00
|
|
|
|
2019-11-30 12:47:18 +01:00
|
|
|
struct Line;
|
2021-07-31 07:06:21 +02:00
|
|
|
std::unique_ptr<Line[]> lines;
|
2015-09-11 00:39:19 +02:00
|
|
|
};
|
|
|
|
|
2019-12-01 01:09:01 +01:00
|
|
|
struct Screen : Window
|
|
|
|
{
|
2021-07-31 01:45:36 +02:00
|
|
|
void output(bool force, bool synchronized, Writer& writer);
|
|
|
|
void set_face(const Face& face, Writer& writer);
|
2020-03-29 04:35:42 +02:00
|
|
|
|
2021-07-31 07:06:21 +02:00
|
|
|
std::unique_ptr<size_t[]> hashes;
|
2020-03-29 04:35:42 +02:00
|
|
|
Face m_active_face;
|
2019-12-01 01:09:01 +01:00
|
|
|
};
|
|
|
|
|
2019-09-04 16:04:27 +02:00
|
|
|
Window m_window;
|
2019-12-01 01:09:01 +01:00
|
|
|
Screen m_screen;
|
2019-09-04 16:04:27 +02:00
|
|
|
|
|
|
|
DisplayCoord m_dimensions;
|
2019-09-09 12:11:04 +02:00
|
|
|
termios m_original_termios{};
|
2019-09-04 16:04:27 +02:00
|
|
|
|
2019-11-13 13:31:24 +01:00
|
|
|
void set_raw_mode() const;
|
2019-09-09 11:39:53 +02:00
|
|
|
|
2016-02-27 18:22:31 +01:00
|
|
|
struct Menu : Window
|
|
|
|
{
|
2016-12-10 14:43:41 +01:00
|
|
|
Vector<DisplayLine, MemoryDomain::Display> items;
|
2016-02-27 18:22:31 +01:00
|
|
|
Face fg;
|
|
|
|
Face bg;
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord anchor;
|
2016-02-27 18:22:31 +01:00
|
|
|
MenuStyle style;
|
|
|
|
int selected_item = 0;
|
2018-06-03 04:06:29 +02:00
|
|
|
int first_item = 0;
|
2016-02-27 18:22:31 +01:00
|
|
|
int columns = 1;
|
|
|
|
} m_menu;
|
|
|
|
|
2013-03-14 19:19:33 +01:00
|
|
|
void draw_menu();
|
2012-12-14 19:04:34 +01:00
|
|
|
|
2018-06-03 04:06:29 +02:00
|
|
|
LineCount content_line_offset() const;
|
|
|
|
|
2016-02-27 18:22:31 +01:00
|
|
|
struct Info : Window
|
|
|
|
{
|
2019-11-22 11:48:26 +01:00
|
|
|
DisplayLine title;
|
|
|
|
DisplayLineList content;
|
2016-02-27 18:22:31 +01:00
|
|
|
Face face;
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord anchor;
|
2016-02-27 18:22:31 +01:00
|
|
|
InfoStyle style;
|
|
|
|
} m_info;
|
2013-01-11 19:17:21 +01:00
|
|
|
|
2017-04-12 11:39:17 +02:00
|
|
|
struct Cursor
|
|
|
|
{
|
|
|
|
CursorMode mode;
|
|
|
|
DisplayCoord coord;
|
|
|
|
} m_cursor;
|
|
|
|
|
2016-11-29 22:35:53 +01:00
|
|
|
FDWatcher m_stdin_watcher;
|
|
|
|
OnKeyCallback m_on_key;
|
2014-04-15 20:19:44 +02:00
|
|
|
|
2014-11-11 00:29:16 +01:00
|
|
|
bool m_status_on_top = false;
|
2015-03-09 14:48:41 +01:00
|
|
|
ConstArrayView<StringView> m_assistant;
|
2014-11-11 00:29:16 +01:00
|
|
|
|
2015-10-02 14:52:41 +02:00
|
|
|
void enable_mouse(bool enabled);
|
|
|
|
|
|
|
|
bool m_mouse_enabled = false;
|
2019-08-19 14:16:39 +02:00
|
|
|
int m_wheel_scroll_amount = 3;
|
2019-09-07 07:34:58 +02:00
|
|
|
int m_mouse_state = 0;
|
2015-04-05 19:43:27 +02:00
|
|
|
|
2018-04-11 12:29:35 +02:00
|
|
|
static constexpr int default_shift_function_key = 12;
|
|
|
|
int m_shift_function_key = default_shift_function_key;
|
|
|
|
|
2015-09-03 01:03:07 +02:00
|
|
|
bool m_set_title = true;
|
2021-10-23 00:42:31 +02:00
|
|
|
|
|
|
|
struct Synchronized
|
|
|
|
{
|
|
|
|
bool supported : 1;
|
|
|
|
bool set : 1;
|
|
|
|
bool requested : 1;
|
|
|
|
|
|
|
|
explicit operator bool() const { return set ? requested : supported; }
|
|
|
|
} m_synchronized{};
|
2015-09-03 01:03:07 +02:00
|
|
|
|
2020-03-28 02:54:49 +01:00
|
|
|
Codepoint m_padding_char = '~';
|
2021-04-05 20:21:48 +02:00
|
|
|
bool m_padding_fill = false;
|
|
|
|
|
2014-04-15 20:19:44 +02:00
|
|
|
bool m_dirty = false;
|
2018-06-08 10:54:11 +02:00
|
|
|
|
2018-06-19 12:20:38 +02:00
|
|
|
bool m_resize_pending = false;
|
|
|
|
void set_resize_pending();
|
2018-06-20 00:12:53 +02:00
|
|
|
|
|
|
|
ColumnCount m_status_len = 0;
|
2023-02-16 03:07:08 +01:00
|
|
|
ColumnCount m_info_max_width = 0;
|
2012-06-06 01:15:19 +02:00
|
|
|
};
|
2012-02-16 15:25:16 +01:00
|
|
|
|
|
|
|
}
|
|
|
|
|
2019-11-16 11:27:06 +01:00
|
|
|
#endif // terminal_hh_INCLUDED
|