bfredl
|
060ef52d8b
|
fix(winbar): allow winbar to display the ruler
|
2022-05-22 18:56:07 +02:00 |
|
bfredl
|
69853a622a
|
Merge pull request #18629 from famiu/fix/ui/winbar
fix(ui): make `winbar` properly equalize window heights for local value
|
2022-05-19 21:58:48 +02:00 |
|
Famiu Haque
|
643cc94e7e
|
fix(ui): make winbar properly equalize window heights for local value
Fixes `'winbar'` not properly equalizing window heights for splits when
the global value is empty and a window-local value is set instead.
|
2022-05-19 19:14:54 +06:00 |
|
zeertzjq
|
0997884ae2
|
fix(mouse): fix mouse drag position with winbar
|
2022-05-19 19:16:31 +08:00 |
|
Famiu Haque
|
288819c9cc
|
fix(ui): set correct position on mouse click when 'winbar' is enabled
|
2022-05-18 21:15:34 +06:00 |
|
Famiu Haque
|
e1bdb2a258
|
feat(ui): add 'winbar'
Adds support for a bar at the top of each window, enabled through the
`'winbar'` option.
Co-authored-by: Björn Linse <bjorn.linse@gmail.com>
|
2022-05-18 09:27:08 +06:00 |
|