diff options
| author | bfredl <bjorn.linse@gmail.com> | 2024-03-28 15:27:32 +0100 |
|---|---|---|
| committer | bfredl <bjorn.linse@gmail.com> | 2024-03-29 08:15:28 +0100 |
| commit | 2e4e12756a697d4767ec294e1f268384395e7a7f (patch) | |
| tree | 5dc431001eefa5e4dc26651eea1e7c1dcd093f76 /runtime | |
| parent | e2224a7933b6e30ab6efb0b7ad4e3f26da57c226 (diff) | |
| download | rneovim-2e4e12756a697d4767ec294e1f268384395e7a7f.tar.gz rneovim-2e4e12756a697d4767ec294e1f268384395e7a7f.tar.bz2 rneovim-2e4e12756a697d4767ec294e1f268384395e7a7f.zip | |
feat(ui): indicate margins for the area used by win_viewport
Problem: using win_viewport for implementing smooth scrolling in an external
UI might run into problems when winbar or borders is used, as there is
no indication that the entire grid is not used for scrolled buffer text.
Solution: add `win_viewport_margins` event.
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/doc/ui.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/doc/ui.txt b/runtime/doc/ui.txt index b8d47923ca..5f217c5537 100644 --- a/runtime/doc/ui.txt +++ b/runtime/doc/ui.txt @@ -656,6 +656,11 @@ tabs. the screen and copy it to the viewport destination once `win_viewport` is received. +["win_viewport_margins", grid, win, top, bottom, left, right] ~ + Indicates the margins of a window grid which are _not_ part of the + viewport as indicated by the `win_viewport` event. This happens + e.g. in the presence of 'winbar' and floating window borders. + ["win_extmark", grid, win, ns_id, mark_id, row, col] ~ Updates the position of an extmark which is currently visible in a window. Only emitted if the mark has the `ui_watched` attribute. |