diff options
| author | Maxime Coste <mawww@kakoune.org> | 2019-11-22 21:48:26 +1100 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2019-11-22 21:50:51 +1100 |
| commit | cb1b03c0db91d85db3545a49f68d63fad0fe137c (patch) | |
| tree | bf8ba71c18a74d8bc1ebb38df246a3b0d87ad256 /src/json_ui.hh | |
| parent | 22d9ffa63ac22d3823c41b4671e0565a92cf8619 (diff) | |
Add support for markup in info boxes
Fixes #2552
Diffstat (limited to 'src/json_ui.hh')
| -rw-r--r-- | src/json_ui.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/json_ui.hh b/src/json_ui.hh index 5e53ab42..7b1abf44 100644 --- a/src/json_ui.hh +++ b/src/json_ui.hh @@ -35,7 +35,7 @@ public: void menu_select(int selected) override; void menu_hide() override; - void info_show(StringView title, StringView content, + void info_show(const DisplayLine& title, const DisplayLineList& content, DisplayCoord anchor, Face face, InfoStyle style) override; void info_hide() override; |