2012-09-24 19:24:27 +02:00
|
|
|
#ifndef user_interface_hh_INCLUDED
|
|
|
|
#define user_interface_hh_INCLUDED
|
|
|
|
|
2013-04-09 20:05:40 +02:00
|
|
|
#include "color.hh"
|
2012-09-24 19:24:27 +02:00
|
|
|
#include "keys.hh"
|
2013-04-09 20:05:40 +02:00
|
|
|
#include "memoryview.hh"
|
2014-08-12 01:30:13 +02:00
|
|
|
#include "safe_ptr.hh"
|
2012-09-24 19:24:27 +02:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
class String;
|
2012-10-20 20:15:20 +02:00
|
|
|
class DisplayBuffer;
|
2013-04-04 18:50:00 +02:00
|
|
|
class DisplayLine;
|
2014-05-07 20:51:01 +02:00
|
|
|
struct CharCoord;
|
2012-09-30 15:18:37 +02:00
|
|
|
|
|
|
|
enum class MenuStyle
|
|
|
|
{
|
|
|
|
Prompt,
|
|
|
|
Inline
|
|
|
|
};
|
2012-09-24 19:24:27 +02:00
|
|
|
|
2013-01-11 19:17:21 +01:00
|
|
|
using InputCallback = std::function<void()>;
|
|
|
|
|
2012-09-26 14:13:04 +02:00
|
|
|
class UserInterface : public SafeCountable
|
2012-09-24 19:24:27 +02:00
|
|
|
{
|
|
|
|
public:
|
|
|
|
virtual ~UserInterface() {}
|
2012-12-14 19:04:34 +01:00
|
|
|
|
2013-07-26 01:17:12 +02:00
|
|
|
virtual void menu_show(memoryview<String> choices,
|
2014-07-11 01:27:04 +02:00
|
|
|
CharCoord anchor, Face fg, Face bg,
|
2013-04-04 13:53:47 +02:00
|
|
|
MenuStyle style) = 0;
|
2012-09-24 19:24:27 +02:00
|
|
|
virtual void menu_select(int selected) = 0;
|
|
|
|
virtual void menu_hide() = 0;
|
2012-12-14 19:04:34 +01:00
|
|
|
|
2014-04-30 20:39:52 +02:00
|
|
|
virtual void info_show(StringView title, StringView content,
|
2014-07-11 01:27:04 +02:00
|
|
|
CharCoord anchor, Face face,
|
2013-10-10 23:51:16 +02:00
|
|
|
MenuStyle style) = 0;
|
2012-12-14 19:04:34 +01:00
|
|
|
virtual void info_hide() = 0;
|
|
|
|
|
2012-10-20 20:15:20 +02:00
|
|
|
virtual void draw(const DisplayBuffer& display_buffer,
|
2013-09-16 20:15:13 +02:00
|
|
|
const DisplayLine& status_line,
|
2013-04-04 18:50:00 +02:00
|
|
|
const DisplayLine& mode_line) = 0;
|
2014-05-07 20:51:01 +02:00
|
|
|
virtual CharCoord dimensions() = 0;
|
2012-10-28 09:26:54 +01:00
|
|
|
virtual bool is_key_available() = 0;
|
2012-09-24 19:24:27 +02:00
|
|
|
virtual Key get_key() = 0;
|
2013-01-11 19:17:21 +01:00
|
|
|
|
2014-04-15 20:19:44 +02:00
|
|
|
virtual void refresh() = 0;
|
|
|
|
|
2013-01-11 19:17:21 +01:00
|
|
|
virtual void set_input_callback(InputCallback callback) = 0;
|
2012-09-24 19:24:27 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // user_interface_hh_INCLUDED
|