[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Blink cursor changes, possible W32 breakage.
From: |
Stefan Monnier |
Subject: |
Re: Blink cursor changes, possible W32 breakage. |
Date: |
Fri, 19 Jul 2013 05:32:14 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
> 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, AFAIK, and I expect that
fairly few users use the features that require timers (jit-lock-stealth
and jit-lock-defer).
Stefan
- Re: Blink cursor changes, possible W32 breakage., (continued)
- 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
- 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 <=
- Re: Blink cursor changes, possible W32 breakage., Eli Zaretskii, 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., martin rudalics, 2013/07/21
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/21