[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: |
Sat, 20 Jul 2013 12:26:35 +0300 |
> From: Stefan Monnier <address@hidden>
> Date: Sat, 20 Jul 2013 04:16:24 -0400
> Cc: address@hidden, address@hidden, address@hidden
>
> >> 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.
>
> Why?
You didn't give any reasons for your assertions, either.
- Re: Blink cursor changes, possible W32 breakage., (continued)
- 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
- 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/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