[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Blink cursor changes, possible W32 breakage.
From: |
Eli Zaretskii |
Subject: |
Re: Blink cursor changes, possible W32 breakage. |
Date: |
Fri, 19 Jul 2013 13:08:45 +0300 |
> From: Stefan Monnier <address@hidden>
> Cc: Eli Zaretskii <address@hidden>,
> Jan Djärv
> <address@hidden>,
> address@hidden
> Date: Fri, 19 Jul 2013 05:32:14 -0400
>
> > 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)...
>
> Jit lock doesn't run any timers by default
Yes, and neither does "emacs -Q". Like I said: we've just made
"emacs -Q" battery-friendly.
> AFAIK, and I expect that fairly few users use the features that
> require timers (jit-lock-stealth and jit-lock-defer).
I expect most of them do use timer-dependent features all the time.
- Re: Blink cursor changes, possible W32 breakage., (continued)
- 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
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/20
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/20
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/21
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/21
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/21
- Re: Blink cursor changes, possible W32 breakage., Lars Magne Ingebrigtsen, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage.,
Eli Zaretskii <=
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/20
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/20
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/20
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/20
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/21
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 2013/07/21
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/21
- Re: Blink cursor changes, possible W32 breakage., martin rudalics, 2013/07/21
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/21