-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 31-Oct-2014 13:03 +0100, Bram Moolenaar wrote:
> Marco Hinz wrote: > >> this might be yet another controversial patch, but it's asked for >> on IRC all the time. >> >> The problem is that the ~ markers (end of buffer) and parts of >> 'listchars' both use the same highlight group: NonText. >> >> Now people wish to use different colors for this, thus this >> patch introduces a new highlight group, EndOfBuffer, which uses >> the same colors as NonText by default. >> >> The first patch contains the actual changes and the second one >> merely adds 'hi link EndOfBuffer NonText' to the default >> colorschemes. >> >> Opinions? > > I like the idea. The only bit that I don't like is having to > change all color schemes to add the highlight link. Can't this be > done by default? Instead of specifying colors that are initially > equal to NonText, link EndOfBuffer to NonText when initializing the > colors. Doesn't the 'highlight' option provide the necessary indirection? Currently, the @:NonText occasion stands for both. The patch adds ~:EndOfBuffer. If we default that to ~:NonText instead, supporting colorschemes could do this: :set highlight-=~:NonText :set highlight+=~:EndOfBuffer - -- regards, ingo -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (MingW32) iQEcBAEBAgAGBQJUU/9LAAoJEA7ziXlAzQ/vqlQH/jMEnmT8YIZSWAG4mZbBsm9e icFYbk7K55L4lTFsRDbaA1lknfmLw2PC1Zis/5spGNbO/CxlCpliAAeSmGpZgrln QaLx5cCqkMG09R1A76+HVxQPpd03otlYS8JPVYioMu/LHJi/ZNsUFye5XdldpVVf 9wjUmt2f0ZXqWocePzzI+PDUgpArGozHFLfTyUZ+w/NA7sVX/Eof0gpv7KDVv5Gq xBXq4EQmdibohKqZpvIKT7sJNo44+Q5MhgVMJrSz3PIrGuJo+v9Q8YBE/xHCKdqJ CyfvvkMAqIlTEASf2O0jkPdR3Us2szvqw7g+jdiSQU1AC5Qk/L03VYHK7IGVvEY= =+EzN -----END PGP SIGNATURE----- -- -- 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.
