diff options
| author | bfredl <bjorn.linse@gmail.com> | 2024-03-29 08:35:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-29 08:35:08 +0100 |
| commit | b1615a35f08ae3073f7d2e4e8e080907f0d48e92 (patch) | |
| tree | 5dc431001eefa5e4dc26651eea1e7c1dcd093f76 /runtime | |
| parent | e2224a7933b6e30ab6efb0b7ad4e3f26da57c226 (diff) | |
| parent | 2e4e12756a697d4767ec294e1f268384395e7a7f (diff) | |
| download | rneovim-b1615a35f08ae3073f7d2e4e8e080907f0d48e92.tar.gz rneovim-b1615a35f08ae3073f7d2e4e8e080907f0d48e92.tar.bz2 rneovim-b1615a35f08ae3073f7d2e4e8e080907f0d48e92.zip | |
Merge pull request #28081 from bfredl/viewport_margin
feature(ui): indicate margins for the area used by win_viewport
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. |