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

sidebar_divider_char.. multiple chars? #15

Closed
voidzero opened this issue Apr 14, 2016 · 3 comments
Closed

sidebar_divider_char.. multiple chars? #15

voidzero opened this issue Apr 14, 2016 · 3 comments
Labels
type:enhancement Feature Request

Comments

@voidzero
Copy link

voidzero commented Apr 14, 2016 •
edited by flatcap

Before mutt 1.6, I used to have this setting set as two characters of which the last was a space, it just adds a little margin. But when I do this now, the first character of the lines in emails are chopped off. Is there any chance to make this possible again? (I had it set to │, but now it has to be a single char. It was just more aesthetically pleasing, now it looks a bit too crammed up.)
@flatcap
Copy link
Member

flatcap commented Apr 14, 2016

OK, that's not hard to do.
Bugs take priority, but as soon as I have free time.

flatcap added a commit that referenced this issue Apr 15, 2016
@flatcap
allow sidebar_divider_char to be longer
6525426 
Originally '$sidebar_divider_char' could be an arbitrary string.

When I reworked Sidebar I limited it to 1 character (because I couldn't
see a good case for anything else).

It turns out that ' | ' isn't a bad choice for the divider.

fixes: #15
@flatcap
Copy link
Member

flatcap commented Apr 16, 2016

Old behaviour restored. Enjoy.

@voidzero
Copy link
Author

Much thanks!

@hurricanehrndz hurricanehrndz mentioned this issue Oct 8, 2016
Closed
@flatcap flatcap added the type:enhancement Feature Request label Feb 2, 2017
This was referenced Nov 14, 2018
Closed
Closed
@dominikpaulus dominikpaulus mentioned this issue Oct 27, 2019
Closed
@JonJFineman JonJFineman mentioned this issue Jan 23, 2022
Closed
@scottkosty scottkosty mentioned this issue Sep 10, 2023
Closed
@JonJFineman JonJFineman mentioned this issue Sep 30, 2023
Closed
@szaszg szaszg mentioned this issue Mar 11, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type:enhancement Feature Request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@flatcap @voidzero