Charles Campbell wrote:
> Charles E Campbell wrote:
> > Bram Moolenaar wrote:
> >> Charles Campbell wrote:
> >>
> >>> I find reading the folded lines to be less than ideal, as the extra
> >>> spacing required of the "+---"s varies and so lines: doesn't line up.
> >>>
> >>> This patch makes all the +---... prefixes take up 5 spaces (using %-5s,
> >>> so it uses padding). By itself, this makes the folded sections, no
> >>> matter how deep, also line up; the patch now pads the beginning of the
> >>> folding titles with spaces indicating folding depth (and retaining the
> >>> +---- marking).
> >>>
> >>> I find the result to be more quickly legible.
> >> It does look nicer. The 5 spaces is an arbitrary number, perhaps that
> >> should be an option? Or perhaps we can use 'numberwidth'?
> >>
> > I see that numberwidth defaults to 4 and its a minimum width. Perhaps
> > I should use numberwidth and similarly use the qty of lines in the
> > buffer (ie. use the number_width() fun ction). I think that re-use
> > of numberwidth would be ok. I'll submit another patch soon (I've
> > written it, but I'm still testing it).
> >
> Updated patch. The "optionsptch" patch will insert one line into the
> options.txt help; I separated it out in case its not wanted.
Thanks, I'll put it in the todo list. I'll await comments for a little
while.
--
hundred-and-one symptoms of being an internet addict:
125. You begin to wonder how often it REALLY is necessary to get up
and shower or bathe.
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
