diff options
| author | aaron404 | 2022-09-02 02:39:38 +0000 |
|---|---|---|
| committer | GitHub | 2022-09-02 02:39:38 +0000 |
| commit | e8730ca5fd72e3bb275b4d825de40475eabea174 (patch) | |
| tree | 5dc9a9bf1505b1e4e6ae45905f01a1925b43269a /book/theme/highlight.js | |
| parent | 04a4033b6c46e072eebb8b8bf1ec1745022d482d (diff) | |
initial implementation of bufferline (#2759)
* initial implementation of bufferline
* fixed lint
* changed to 'bufferline', added enum for config modes, some cleanup
* fixed lint
* added file modification indicator
* removed redundant code, added proper themeing with fallback, changed 'file modified' indicator
* remove commented code
* Update helix-term/src/ui/editor.rs
simplify text and offset computation
Co-authored-by: Gokul Soumya <gokulps15@gmail.com>
* add ui.bufferline.background key for themes
Co-authored-by: lazytanuki <43273245+lazytanuki@users.noreply.github.com>
* address PR comments
* Update helix-term/src/ui/editor.rs
* simplify computation of editor area:
* change to set_stringn to avoid overflow
* Update configuration.md
Updates documentation to reflect decision re: defaulting to never showing bufferline.
* addressed pr comments
* fix build error
* address pr comments
* revert accidental change
Co-authored-by: Gokul Soumya <gokulps15@gmail.com>
Co-authored-by: lazytanuki <43273245+lazytanuki@users.noreply.github.com>
Co-authored-by: Seth Bromberger <sbromberger@users.noreply.github.com>
Diffstat (limited to 'book/theme/highlight.js')
0 files changed, 0 insertions, 0 deletions