2012-02-16 18:25:16 +04:00
|
|
|
#ifndef ncurses_hh_INCLUDED
|
|
|
|
#define ncurses_hh_INCLUDED
|
|
|
|
|
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"
|
2013-04-09 22:05:40 +04:00
|
|
|
#include "user_interface.hh"
|
2015-02-09 16:33:54 +03:00
|
|
|
#include "array_view.hh"
|
2015-10-08 22:17:35 +03:00
|
|
|
#include "unordered_map.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();
|
|
|
|
~NCursesUI();
|
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,
|
2015-06-17 23:28:02 +03:00
|
|
|
const Face& default_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;
|
|
|
|
|
|
|
|
bool is_key_available() override;
|
|
|
|
Key get_key() override;
|
2012-08-30 23:14:28 +04:00
|
|
|
|
2015-10-05 03:25:23 +03:00
|
|
|
void menu_show(ConstArrayView<DisplayLine> items,
|
2014-07-11 03:27:04 +04:00
|
|
|
CharCoord 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,
|
2014-07-11 03:27:04 +04:00
|
|
|
CharCoord 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;
|
|
|
|
|
2014-04-15 22:19:44 +04:00
|
|
|
void refresh() override;
|
|
|
|
|
2013-01-11 22:17:21 +04:00
|
|
|
void set_input_callback(InputCallback callback) override;
|
|
|
|
|
2014-11-11 02:29:16 +03:00
|
|
|
void set_ui_options(const Options& options) override;
|
|
|
|
|
2014-05-07 22:51:01 +04:00
|
|
|
CharCoord dimensions() override;
|
2013-04-12 03:28:22 +04:00
|
|
|
|
|
|
|
static void abort();
|
2015-12-05 13:51:46 +03:00
|
|
|
|
|
|
|
struct Rect
|
|
|
|
{
|
|
|
|
CharCoord pos;
|
|
|
|
CharCoord size;
|
|
|
|
};
|
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,
|
|
|
|
CharCount col_index, CharCount max_column,
|
|
|
|
const Face& default_face);
|
|
|
|
|
2014-07-17 02:11:18 +04:00
|
|
|
NCursesWin* m_window = nullptr;
|
|
|
|
|
2014-05-07 22:51:01 +04:00
|
|
|
CharCoord m_dimensions;
|
2012-10-27 16:18:52 +04:00
|
|
|
|
2015-10-08 22:17:35 +03:00
|
|
|
using ColorPair = std::pair<Color, Color>;
|
|
|
|
UnorderedMap<Color, int, MemoryDomain::Faces> m_colors;
|
|
|
|
UnorderedMap<ColorPair, int, MemoryDomain::Faces> m_colorpairs;
|
|
|
|
int m_next_color = 16;
|
|
|
|
|
2015-12-05 13:51:46 +03:00
|
|
|
struct Window : Rect
|
2015-09-11 01:39:19 +03:00
|
|
|
{
|
|
|
|
void create(const CharCoord& pos, const CharCoord& size);
|
|
|
|
void destroy();
|
|
|
|
void refresh();
|
|
|
|
|
|
|
|
explicit operator bool() const { return win; }
|
|
|
|
|
|
|
|
NCursesWin* win = nullptr;
|
|
|
|
};
|
|
|
|
|
|
|
|
void mark_dirty(const Window& win);
|
|
|
|
|
|
|
|
Window m_menu;
|
2015-10-05 03:25:23 +03:00
|
|
|
Vector<DisplayLine> m_items;
|
2014-07-11 03:27:04 +04:00
|
|
|
Face m_menu_fg;
|
|
|
|
Face m_menu_bg;
|
2015-10-13 15:52:02 +03:00
|
|
|
CharCoord m_menu_anchor;
|
|
|
|
MenuStyle m_menu_style;
|
2013-10-17 21:48:12 +04:00
|
|
|
int m_selected_item = 0;
|
2013-03-14 22:19:33 +04:00
|
|
|
int m_menu_columns = 1;
|
|
|
|
LineCount m_menu_top_line = 0;
|
|
|
|
void draw_menu();
|
2012-12-14 22:04:34 +04:00
|
|
|
|
2015-09-11 01:39:19 +03:00
|
|
|
Window m_info;
|
2015-10-13 15:58:24 +03:00
|
|
|
String m_info_title;
|
|
|
|
String m_info_content;
|
|
|
|
Face m_info_face;
|
|
|
|
CharCoord m_info_anchor;
|
|
|
|
InfoStyle m_info_style;
|
2013-01-11 22:17:21 +04:00
|
|
|
|
|
|
|
FDWatcher m_stdin_watcher;
|
|
|
|
InputCallback m_input_callback;
|
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;
|
|
|
|
|
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
|