Re: slow display update, maybe due to folded text

On Friday, October 16, 2015 at 5:10:19 AM UTC-4, Erik Christiansen
wrote:
> Perception varies as much as do our brains. I am visually irritated
> and distracted by a highlight on the xterm adjacent to the one I'm
> working in. Colouring words just reduces their readability, I find,
> and see no obvious reason to use it merely for confirming attributes
> which a word already has without. Using it only as an alarm, as in
> spellchecking, works well for me.
>
> It may be that coding in assembler for more than a decade (last
> century) ingrained an eye for detail, and a mindset which connects
> disparate dots with some facility. When you've had to remember
> what's in which register right through a long routine, and infer the
> braces, subsequently keeping rein on a bit of 'C' is no biggie.
>
> In short, colouring all 'C' keywords, merely because they are
> keywords, strikes me as equivalent to this comment in usefulness:

I find that colorizing code creates landmarks, making it easy to
orientate oneself in what would otherwise be a sea of characters. It
can also let you know when you have unbalanced delimiters that come in
pairs, especially quotes.

> elephants++ ; // Increment elephants.
>
> (Incidentally, the example is not artificial. Such facile comments
> have been produced by folk paid to program.)

Gee. I can get paid for that? I'm in the wrong profession.

> Folding, which you mentioned upthread, is something else. Through
> hierarchical information hiding, it helps impart greater structure
> to voluminous text, and I wouldn't be without it. (Even in .vimrc,
> now. ;)
>
> Erik

--
--
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 vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.