diff options
| author | Maxime Coste <mawww@kakoune.org> | 2017-04-12 10:39:17 +0100 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2017-04-12 10:39:17 +0100 |
| commit | 91bfd714e4be3484e04eaadc5bbe630861fff652 (patch) | |
| tree | d8b2eb554c7feaf44545d650351480b468f4886d /src/json_ui.hh | |
| parent | 80dd9ec4cb68669df4688c621486a27dd9b33548 (diff) | |
Place hardware terminal cursor at the current main cursor/prompt cursor position
Fixes #1318
Also fixes https://gitlab.com/gnachman/iterm2/issues/5408
Diffstat (limited to 'src/json_ui.hh')
| -rw-r--r-- | src/json_ui.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/json_ui.hh b/src/json_ui.hh index 1b35538f..ad887561 100644 --- a/src/json_ui.hh +++ b/src/json_ui.hh @@ -38,6 +38,8 @@ public: InfoStyle style) override; void info_hide() override; + void set_cursor(CursorMode mode, DisplayCoord coord) override; + void refresh(bool force) override; DisplayCoord dimensions() override; |