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