[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Blink cursor changes, possible W32 breakage.
From: |
Miles Bader |
Subject: |
Re: Blink cursor changes, possible W32 breakage. |
Date: |
Fri, 19 Jul 2013 11:12:18 +0900 |
Eli Zaretskii <address@hidden> writes:
>> What would those timers be for then? I can't find a single periodic
>> timer except blink timer that is on by default.
>
> Like I said, I firmly believe that most Emacs users have many defaults
> overridden by customizations. Two popular timers that come to my mind
> are display-time and jit-stealth.
display-time fires once a minute, which is much better than twice a
second...
If jit-lock timers are firing too often, that could certainly be fixed
too, as there's nothing inherent about that which requires frequently
firing timers when idle (or even when active, if all jit-locking has
been completed and jit-lock'd buffers haven't changed)...
It seems sense to fix such things, even if the _immediate_ benefit
is limited because of remaining issues. One needn't do them all at
once, and each fixed issue makes things easier in the future.
-miles
--
The key to happiness
is having dreams. [from a fortune cookie]
- Re: Blink cursor changes, possible W32 breakage., (continued)
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage., Miles Bader, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage., Jan Djärv, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage., Jan Djärv, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage., Jan Djärv, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage., Jan Djärv, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage.,
Miles Bader <=
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage., Óscar Fuentes, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage., Óscar Fuentes, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage., Thien-Thi Nguyen, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/20
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/20