2012-02-16 15:25:16 +01:00
|
|
|
#ifndef ncurses_hh_INCLUDED
|
|
|
|
#define ncurses_hh_INCLUDED
|
|
|
|
|
2017-03-07 02:12:37 +01:00
|
|
|
#include "array_view.hh"
|
2014-11-12 22:27:07 +01:00
|
|
|
#include "coord.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
|
|
|
|
2012-02-16 15:25:16 +01:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2013-04-12 01:28:22 +02:00
|
|
|
struct NCursesWin;
|
|
|
|
|
2012-09-24 19:24:27 +02:00
|
|
|
class NCursesUI : public UserInterface
|
2012-02-16 15:25:16 +01:00
|
|
|
{
|
2012-06-06 01:15:19 +02:00
|
|
|
public:
|
2012-09-24 19:24:27 +02:00
|
|
|
NCursesUI();
|
2017-01-08 23:30:15 +01:00
|
|
|
~NCursesUI() override;
|
2012-02-16 15:25:16 +01:00
|
|
|
|
2012-09-24 19:24:27 +02:00
|
|
|
NCursesUI(const NCursesUI&) = delete;
|
|
|
|
NCursesUI& operator=(const NCursesUI&) = delete;
|
2012-02-16 15:25:16 +01: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
|
|
|
|
2014-04-30 20:39:52 +02:00
|
|
|
void info_show(StringView title, StringView 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
|
|
|
|
|
|
|
static void abort();
|
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
|
|
|
|
|
|
|
protected:
|
|
|
|
void on_sighup();
|
|
|
|
|
2012-08-30 21:53:22 +02:00
|
|
|
private:
|
2015-06-30 01:31:26 +02:00
|
|
|
void check_resize(bool force = false);
|
2013-01-15 14:16:45 +01:00
|
|
|
void redraw();
|
2012-10-27 14:18:52 +02:00
|
|
|
|
2015-10-08 21:17:35 +02:00
|
|
|
int get_color(Color color);
|
|
|
|
int get_color_pair(const Face& face);
|
|
|
|
void set_face(NCursesWin* window, Face face, const Face& default_face);
|
|
|
|
void draw_line(NCursesWin* window, const DisplayLine& line,
|
2016-09-22 21:36:26 +02:00
|
|
|
ColumnCount col_index, ColumnCount max_column,
|
2015-10-08 21:17:35 +02:00
|
|
|
const Face& default_face);
|
|
|
|
|
2016-11-29 22:35:53 +01:00
|
|
|
Optional<Key> get_next_key();
|
|
|
|
|
2014-07-17 00:11:18 +02:00
|
|
|
NCursesWin* m_window = nullptr;
|
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord m_dimensions;
|
2012-10-27 14:18:52 +02:00
|
|
|
|
2015-10-08 21:17:35 +02:00
|
|
|
using ColorPair = std::pair<Color, Color>;
|
2017-03-07 01:30:54 +01:00
|
|
|
HashMap<Color, int, MemoryDomain::Faces> m_colors;
|
|
|
|
HashMap<ColorPair, int, MemoryDomain::Faces> m_colorpairs;
|
2015-10-08 21:17:35 +02:00
|
|
|
int m_next_color = 16;
|
2016-12-30 08:01:13 +01:00
|
|
|
int m_next_pair = 1;
|
|
|
|
int m_active_pair = -1;
|
2015-10-08 21:17:35 +02:00
|
|
|
|
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();
|
|
|
|
void refresh();
|
|
|
|
|
|
|
|
explicit operator bool() const { return win; }
|
|
|
|
|
|
|
|
NCursesWin* win = nullptr;
|
|
|
|
};
|
|
|
|
|
|
|
|
void mark_dirty(const Window& win);
|
|
|
|
|
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;
|
|
|
|
int columns = 1;
|
|
|
|
LineCount top_line = 0;
|
|
|
|
} m_menu;
|
|
|
|
|
2013-03-14 19:19:33 +01:00
|
|
|
void draw_menu();
|
2012-12-14 19:04:34 +01:00
|
|
|
|
2016-02-27 18:22:31 +01:00
|
|
|
struct Info : Window
|
|
|
|
{
|
|
|
|
String title;
|
|
|
|
String content;
|
|
|
|
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;
|
2015-04-05 19:43:27 +02:00
|
|
|
int m_wheel_up_button = 4;
|
2015-11-05 14:28:58 +01:00
|
|
|
int m_wheel_down_button = 5;
|
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;
|
2016-12-30 08:01:13 +01:00
|
|
|
bool m_change_colors = true;
|
2015-09-03 01:03:07 +02:00
|
|
|
|
2014-04-15 20:19:44 +02:00
|
|
|
bool m_dirty = false;
|
2012-06-06 01:15:19 +02:00
|
|
|
};
|
2012-02-16 15:25:16 +01:00
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // ncurses_hh_INCLUDED
|