[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 33% speed up in CC Mode scrolling.
From: |
Richard Stallman |
Subject: |
Re: 33% speed up in CC Mode scrolling. |
Date: |
Sun, 19 Jun 2016 13:21:09 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> Or, why not just set `font-lock-maximum-decoration' to 2?
Indeed, that makes it much better for me.
But is something painfully slow for many users really the right choice
of default? I don't think so.
I think the default for `font-lock-maximum-decoration' should
be such that the really slow kinds of fontification are above it
and thus disabled by default.
--
Dr Richard Stallman
President, Free Software Foundation (gnu.org, fsf.org)
Internet Hall-of-Famer (internethalloffame.org)
Skype: No way! See stallman.org/skype.html.
- 33% speed up in CC Mode scrolling., Alan Mackenzie, 2016/06/15
- Re: 33% speed up in CC Mode scrolling., John Wiegley, 2016/06/15
- Re: 33% speed up in CC Mode scrolling., Clément Pit--Claudel, 2016/06/15
- Re: 33% speed up in CC Mode scrolling., Richard Stallman, 2016/06/16
- Re: 33% speed up in CC Mode scrolling., Alan Mackenzie, 2016/06/17
- Re: 33% speed up in CC Mode scrolling.,
Richard Stallman <=
- Re: 33% speed up in CC Mode scrolling., Stefan Monnier, 2016/06/19
- Re: 33% speed up in CC Mode scrolling., Richard Stallman, 2016/06/20
- Re: 33% speed up in CC Mode scrolling., Stefan Monnier, 2016/06/20
- Re: 33% speed up in CC Mode scrolling., Richard Stallman, 2016/06/22
- Re: 33% speed up in CC Mode scrolling., martin rudalics, 2016/06/27