[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: |
Sat, 20 Jul 2013 04:18:34 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
> By contrast, if we want the former, then we need an _infrastructure_
> that would make it easy to stop all or just some of the timers from
> firing when Emacs is idle, or doesn't have focus, or the machine runs
> on batteries, or whatever else condition is deemed appropriate.
AFAICT, most timers are already pretty friendly: all idle-timers are
friendly, so only the repeated non-idle timers are problematic.
Stefan
- Re: Blink cursor changes, possible W32 breakage., (continued)
- Re: Blink cursor changes, possible W32 breakage., Jan Djärv, 2013/07/17
- Re: Blink cursor changes, possible W32 breakage., Miles Bader, 2013/07/18
- 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 <=
- 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, 2013/07/19
- Re: Blink cursor changes, possible W32 breakage., Stefan Monnier, 2013/07/20