diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-12-14 19:04:34 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-12-14 19:04:34 +0100 |
| commit | 9236c87842d581806e58fcf1b6003fccf5b2409c (patch) | |
| tree | 4b69b4d4535ede1934663464d6f797f2b99fa5f3 /src/user_interface.hh | |
| parent | cccd0388ebd16e03be1cb222d43c1ea2038b26ed (diff) | |
UserInterface: add info box support
using the info command, you can display an arbitrary string
in a tooltip box.
Diffstat (limited to 'src/user_interface.hh')
| -rw-r--r-- | src/user_interface.hh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/user_interface.hh b/src/user_interface.hh index 3d474322..185619e0 100644 --- a/src/user_interface.hh +++ b/src/user_interface.hh @@ -24,10 +24,16 @@ class UserInterface : public SafeCountable public: virtual ~UserInterface() {} virtual void print_status(const String& status, CharCount cursor_pos = -1) = 0; + virtual void menu_show(const memoryview<String>& choices, const DisplayCoord& anchor, MenuStyle style) = 0; virtual void menu_select(int selected) = 0; virtual void menu_hide() = 0; + + virtual void info_show(const String& content, + const DisplayCoord& anchor, MenuStyle style) = 0; + virtual void info_hide() = 0; + virtual void draw(const DisplayBuffer& display_buffer, const String& mode_line) = 0; virtual DisplayCoord dimensions() = 0; |
