Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Scrolling Bufferline #8362

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
+125 −21
Open

Scrolling Bufferline #8362

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
762fd08
Added behaviour to wrap bufferline
CedricMeu Sep 22, 2023
2042eda
Added scrolling and extended bufferline configuration
CedricMeu Sep 23, 2023
6775315
Updated documentation
CedricMeu Sep 23, 2023
0415401
Cleaned up code
CedricMeu Sep 23, 2023
919f5af
Opinionated to scrolling
CedricMeu Sep 27, 2023
a1ec38a
Removed stray newline
CedricMeu Sep 27, 2023
0656f44
Merge branch 'master' into better-bufferline
CedricMeu Jun 21, 2024
cbbfb2f
Added markers to indicate under and overflow
CedricMeu Jun 21, 2024
319a002
Small cleanup
CedricMeu Jun 21, 2024
fab4fa7
Added `ui.bufferline.marker` key to style the underflow and overflow …
CedricMeu Jun 21, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'master' into better-bufferline
  • Loading branch information
@CedricMeu
CedricMeu committed Jun 21, 2024
commit 0656f44ac05c9d33740412f239123695755c3f2d

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.