[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Unfreezing the display during auto-repeated scrolling.
From: |
Stefan Monnier |
Subject: |
Re: Unfreezing the display during auto-repeated scrolling. |
Date: |
Mon, 27 Oct 2014 20:22:01 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
> Yes, I do. However, I can't persuade myself that this is anything but a
> special case. Do people actually use mixtures of faces where the font
> isn't the same as the default's? What for?
FWIW, I do, because I prefer the "unholy mix of fonts" than the "angry
fruit salad". More specifically, I like my font-lock "colors" to go
only from grey to black, and then use bold/italics/serif/proportional
features to make further distinctions.
This said, I try to keep those fonts of the same pixel height (tho
I sometimes fail, as witnessed by one of my bug reports).
But even discounting these weirdos, there are also cases such as
latex-mode's use of font-lock to make some parts of the text appear in
super/subscript, or other uses that might make section titles larger.
I'm not convinced such minor inconsistencies in "pagedown+pageup" are
a serious problem, tho. Especially if it only happens after the user
explicitly said he was willing to sacrifice a bit of something in
exchange for more responsive scrolling.
Stefan
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., (continued)
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Alan Mackenzie, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Stefan Monnier, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling., Eli Zaretskii, 2014/10/26
- Re: Unfreezing the display during auto-repeated scrolling., Alan Mackenzie, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling., Eli Zaretskii, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling., Alan Mackenzie, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling.,
Stefan Monnier <=
- Re: Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], Eli Zaretskii, 2014/10/26
- Re: Aborting display. Is this possible?, Stefan Monnier, 2014/10/21
- Re: Aborting display. Is this possible?, Eli Zaretskii, 2014/10/21
- Re: Aborting display. Is this possible?, Michael Welsh Duggan, 2014/10/21
- Re: Aborting display. Is this possible?, Alan Mackenzie, 2014/10/21
- Re: Aborting display. Is this possible?, Stefan Monnier, 2014/10/19
- Re: Aborting display. Is this possible?, Eli Zaretskii, 2014/10/19
Aborting display. Is this possible?, grischka, 2014/10/20