2012-02-16 18:25:16 +04:00
|
|
|
#ifndef ncurses_hh_INCLUDED
|
|
|
|
#define ncurses_hh_INCLUDED
|
|
|
|
|
2017-03-07 04:12:37 +03:00
|
|
|
#include "array_view.hh"
|
2014-11-13 00:27:07 +03:00
|
|
|
#include "coord.hh"
|
2013-01-11 22:17:21 +04:00
|
|
|
#include "event_manager.hh"
|
2014-11-13 00:27:07 +03:00
|
|
|
#include "face.hh"
|
2017-03-07 03:30:54 +03:00
|
|
|
#include "hash_map.hh"
|
2017-03-07 04:12:37 +03:00
|
|
|
#include "optional.hh"
|
|
|
|
#include "string.hh"
|
|
|
|
#include "user_interface.hh"
|
2013-04-09 22:05:40 +04:00
|
|
|
|
2012-02-16 18:25:16 +04:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2013-04-12 03:28:22 +04:00
|
|
|
struct NCursesWin;
|
|
|
|
|
2012-09-24 21:24:27 +04:00
|
|
|
class NCursesUI : public UserInterface
|
2012-02-16 18:25:16 +04:00
|
|
|
{
|
2012-06-06 03:15:19 +04:00
|
|
|
public:
|
2012-09-24 21:24:27 +04:00
|
|
|
NCursesUI();
|
2017-01-09 01:30:15 +03:00
|
|
|
~NCursesUI() override;
|
2012-02-16 18:25:16 +04:00
|
|
|
|
2012-09-24 21:24:27 +04:00
|
|
|
NCursesUI(const NCursesUI&) = delete;
|
|
|
|
NCursesUI& operator=(const NCursesUI&) = delete;
|
2012-02-16 18:25:16 +04:00
|
|
|
|
2012-10-20 22:15:20 +04:00
|
|
|
void draw(const DisplayBuffer& display_buffer,
|
2016-02-17 16:32:05 +03:00
|
|
|
const Face& default_face,
|
|
|
|
const Face& padding_face) override;
|
2012-06-06 03:15:19 +04:00
|
|
|
|
2015-06-17 23:28:02 +03:00
|
|
|
void draw_status(const DisplayLine& status_line,
|
|
|
|
const DisplayLine& mode_line,
|
|
|
|
const Face& default_face) override;
|
|
|
|
|
2015-10-05 03:25:23 +03:00
|
|
|
void menu_show(ConstArrayView<DisplayLine> items,
|
2016-09-22 22:36:26 +03:00
|
|
|
DisplayCoord anchor, Face fg, Face bg,
|
2013-04-04 15:53:47 +04:00
|
|
|
MenuStyle style) override;
|
2012-09-05 21:02:06 +04:00
|
|
|
void menu_select(int selected) override;
|
|
|
|
void menu_hide() override;
|
2012-10-20 22:15:20 +04:00
|
|
|
|
2014-04-30 22:39:52 +04:00
|
|
|
void info_show(StringView title, StringView content,
|
2016-09-22 22:36:26 +03:00
|
|
|
DisplayCoord anchor, Face face,
|
2014-11-08 20:59:38 +03:00
|
|
|
InfoStyle style) override;
|
2012-12-14 22:04:34 +04:00
|
|
|
void info_hide() override;
|
|
|
|
|
2017-04-12 12:39:17 +03:00
|
|
|
void set_cursor(CursorMode mode, DisplayCoord coord) override;
|
2014-04-15 22:19:44 +04:00
|
|
|
|
2017-04-12 12:39:17 +03:00
|
|
|
void refresh(bool force) override;
|
2014-11-11 02:29:16 +03:00
|
|
|
|
2016-09-22 22:36:26 +03:00
|
|
|
DisplayCoord dimensions() override;
|
2016-11-30 00:35:53 +03:00
|
|
|
void set_on_key(OnKeyCallback callback) override;
|
|
|
|
void set_ui_options(const Options& options) override;
|
2013-04-12 03:28:22 +04:00
|
|
|
|
|
|
|
static void abort();
|
2015-12-05 13:51:46 +03:00
|
|
|
|
|
|
|
struct Rect
|
|
|
|
{
|
2016-09-22 22:36:26 +03:00
|
|
|
DisplayCoord pos;
|
|
|
|
DisplayCoord size;
|
2015-12-05 13:51:46 +03:00
|
|
|
};
|
2016-11-14 03:49:34 +03:00
|
|
|
|
|
|
|
protected:
|
|
|
|
void on_sighup();
|
|
|
|
|
2012-08-30 23:53:22 +04:00
|
|
|
private:
|
2015-06-30 02:31:26 +03:00
|
|
|
void check_resize(bool force = false);
|
2013-01-15 17:16:45 +04:00
|
|
|
void redraw();
|
2012-10-27 16:18:52 +04:00
|
|
|
|
2015-10-08 22:17:35 +03: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 22:36:26 +03:00
|
|
|
ColumnCount col_index, ColumnCount max_column,
|
2015-10-08 22:17:35 +03:00
|
|
|
const Face& default_face);
|
|
|
|
|
2016-11-30 00:35:53 +03:00
|
|
|
Optional<Key> get_next_key();
|
|
|
|
|
2014-07-17 02:11:18 +04:00
|
|
|
NCursesWin* m_window = nullptr;
|
|
|
|
|
2016-09-22 22:36:26 +03:00
|
|
|
DisplayCoord m_dimensions;
|
2012-10-27 16:18:52 +04:00
|
|
|
|
2015-10-08 22:17:35 +03:00
|
|
|
using ColorPair = std::pair<Color, Color>;
|
2017-03-07 03:30:54 +03:00
|
|
|
HashMap<Color, int, MemoryDomain::Faces> m_colors;
|
|
|
|
HashMap<ColorPair, int, MemoryDomain::Faces> m_colorpairs;
|
2015-10-08 22:17:35 +03:00
|
|
|
int m_next_color = 16;
|
2016-12-30 10:01:13 +03:00
|
|
|
int m_next_pair = 1;
|
|
|
|
int m_active_pair = -1;
|
2015-10-08 22:17:35 +03:00
|
|
|
|
2015-12-05 13:51:46 +03:00
|
|
|
struct Window : Rect
|
2015-09-11 01:39:19 +03:00
|
|
|
{
|
2016-09-22 22:36:26 +03:00
|
|
|
void create(const DisplayCoord& pos, const DisplayCoord& size);
|
2015-09-11 01:39:19 +03:00
|
|
|
void destroy();
|
|
|
|
void refresh();
|
|
|
|
|
|
|
|
explicit operator bool() const { return win; }
|
|
|
|
|
|
|
|
NCursesWin* win = nullptr;
|
|
|
|
};
|
|
|
|
|
|
|
|
void mark_dirty(const Window& win);
|
|
|
|
|
2016-02-27 20:22:31 +03:00
|
|
|
struct Menu : Window
|
|
|
|
{
|
2016-12-10 16:43:41 +03:00
|
|
|
Vector<DisplayLine, MemoryDomain::Display> items;
|
2016-02-27 20:22:31 +03:00
|
|
|
Face fg;
|
|
|
|
Face bg;
|
2016-09-22 22:36:26 +03:00
|
|
|
DisplayCoord anchor;
|
2016-02-27 20:22:31 +03:00
|
|
|
MenuStyle style;
|
|
|
|
int selected_item = 0;
|
|
|
|
int columns = 1;
|
|
|
|
LineCount top_line = 0;
|
|
|
|
} m_menu;
|
|
|
|
|
2013-03-14 22:19:33 +04:00
|
|
|
void draw_menu();
|
2012-12-14 22:04:34 +04:00
|
|
|
|
2016-02-27 20:22:31 +03:00
|
|
|
struct Info : Window
|
|
|
|
{
|
|
|
|
String title;
|
|
|
|
String content;
|
|
|
|
Face face;
|
2016-09-22 22:36:26 +03:00
|
|
|
DisplayCoord anchor;
|
2016-02-27 20:22:31 +03:00
|
|
|
InfoStyle style;
|
|
|
|
} m_info;
|
2013-01-11 22:17:21 +04:00
|
|
|
|
2017-04-12 12:39:17 +03:00
|
|
|
struct Cursor
|
|
|
|
{
|
|
|
|
CursorMode mode;
|
|
|
|
DisplayCoord coord;
|
|
|
|
} m_cursor;
|
|
|
|
|
2016-11-30 00:35:53 +03:00
|
|
|
FDWatcher m_stdin_watcher;
|
|
|
|
OnKeyCallback m_on_key;
|
2014-04-15 22:19:44 +04:00
|
|
|
|
2014-11-11 02:29:16 +03:00
|
|
|
bool m_status_on_top = false;
|
2015-03-09 16:48:41 +03:00
|
|
|
ConstArrayView<StringView> m_assistant;
|
2014-11-11 02:29:16 +03:00
|
|
|
|
2015-10-02 15:52:41 +03:00
|
|
|
void enable_mouse(bool enabled);
|
|
|
|
|
|
|
|
bool m_mouse_enabled = false;
|
2015-04-05 20:43:27 +03:00
|
|
|
int m_wheel_up_button = 4;
|
2015-11-05 16:28:58 +03:00
|
|
|
int m_wheel_down_button = 5;
|
2015-04-05 20:43:27 +03:00
|
|
|
|
2015-09-03 02:03:07 +03:00
|
|
|
bool m_set_title = true;
|
2016-12-30 10:01:13 +03:00
|
|
|
bool m_change_colors = true;
|
2015-09-03 02:03:07 +03:00
|
|
|
|
2014-04-15 22:19:44 +04:00
|
|
|
bool m_dirty = false;
|
2012-06-06 03:15:19 +04:00
|
|
|
};
|
2012-02-16 18:25:16 +04:00
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // ncurses_hh_INCLUDED
|