On Tue, Jul 3, 2018 at 9:24 PM, Kevin Lawler <[email protected]> wrote: > I would like to have hardcopy (printing) respect GUI Vim's linespace > or some similar option in order to achieve double-spaced printing. Is > there a way to do this?
I think you could do it with a custom 'printexpr' (q.v.) but you might have to experiment before you find the right setting. > > The current alternative is to copy the text out of Vim (MacVim) and > paste it into Microsoft Word, and then use their double-spacing > feature. > > I would also be willing to use some kind of Vim command-line fu or > postscript after-processing with Unix tools, if any of this is a > possible solution. Is there some way to pass a simple arg to the > postscript writer? > > Unlikely to work: Since there are long lines and rarely newlines, > simply replacing each newline with two won't work (unless you can > somehow intercept the wrapping done for printing, plus respect page > breaks and headers). > > I sort of suspect some dev is required but I am asking here first > anyway. If so, I would guess it's probably a simple variable that goes > to the vim postscript writer that needs to be changed. If the > translation from linespace to the postscript variable is not direct, > then a janky version, e.g. setting the var directly, would be > suitable. Perhaps as a postscript argument. Linespace is just a good > way of describing what typically goes into double-spacing. Unless a good 'printexpr' can be devised, an additional sub-option to 'printoptions' (see |popt-option|) might solve it but this would require a change in the C code and I'm not competent to do it. > > Thanks, > Kevin Best regards, Tony. -- -- You received this message from the "vim_use" 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_use" 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.
