[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Timer scheduling and cancel-timer
From: |
Stephen Berman |
Subject: |
Re: Timer scheduling and cancel-timer |
Date: |
Tue, 22 Jan 2013 17:00:58 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
On Tue, 22 Jan 2013 12:28:46 +0100 Stephen Berman <address@hidden> wrote:
> On Mon, 21 Jan 2013 19:50:44 -0800 "Drew Adams" <address@hidden> wrote:
>
>> I'm kind of surprised that no one else seems to be running into this problem.
>> Each time it arises, point follows a right paren, I believe.
>
> I hit it several times after updating from the trunk on 17 January but
> didn't have time to try to debug it, and also couldn't find a reliable
> recipe for reproducing it. Anyway, for whatever reason, I haven't seen
> it again for a couple of days (with the same build).
On Tue, 22 Jan 2013 14:57:49 +0100 Bastien <address@hidden> wrote:
> Stefan Monnier <address@hidden> writes:
>
>>> Perhaps it is worth reverting the code change you made that makes this
>>> happen
>>> now, until you find the bug?
>>
>> No, the change is there specifically to avoid hiding bugs under the
>> rug.
>
> The attached patch fixes the bug.
>
> Can anyone confirm this?
I just hit the bug again, and now realized it happens when point follows
an *unbalanced* right paren. So I tried your patch, and indeed it fixes
the bug. Thanks.
Steve Berman
- Timer scheduling and cancel-timer, Tomohiro Matsuyama, 2013/01/20
- Re: Timer scheduling and cancel-timer, Paul Eggert, 2013/01/20
- RE: Timer scheduling and cancel-timer, Drew Adams, 2013/01/20
- RE: Timer scheduling and cancel-timer, Drew Adams, 2013/01/20
- Re: Timer scheduling and cancel-timer, Stefan Monnier, 2013/01/20
- RE: Timer scheduling and cancel-timer, Drew Adams, 2013/01/20
- RE: Timer scheduling and cancel-timer, Drew Adams, 2013/01/21
- Re: Timer scheduling and cancel-timer, Stephen Berman, 2013/01/22
- Re: Timer scheduling and cancel-timer,
Stephen Berman <=
- Re: Timer scheduling and cancel-timer, Bastien, 2013/01/22
- Re: Timer scheduling and cancel-timer, Bastien, 2013/01/23
- Re: Timer scheduling and cancel-timer, Stefan Monnier, 2013/01/23
- Re: Timer scheduling and cancel-timer, Bastien, 2013/01/23
- Re: Timer scheduling and cancel-timer, Stefan Monnier, 2013/01/23
- Re: Timer scheduling and cancel-timer, Bastien, 2013/01/23
- RE: Timer scheduling and cancel-timer, Drew Adams, 2013/01/24
- Re: Timer scheduling and cancel-timer, Bastien, 2013/01/24
- Re: Timer scheduling and cancel-timer, Stefan Monnier, 2013/01/22
- Re: Timer scheduling and cancel-timer, Bastien, 2013/01/22