[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#17893: 24.4.50; (error "Marker does not point anywhere")
From: |
Eli Zaretskii |
Subject: |
bug#17893: 24.4.50; (error "Marker does not point anywhere") |
Date: |
Sat, 25 Nov 2017 19:20:30 +0200 |
> From: Stefan Monnier <monnier@IRO.UMontreal.CA>
> Cc: charles@aurox.ch (Charles A. Roelli), 17893@debbugs.gnu.org
> Date: Sat, 25 Nov 2017 11:48:19 -0500
>
> > What is missing is a way of methodically walking all the markers
> > reachable from the cloned buffer's local variables, and changing each
> > marker to point to the cloned buffer instead of the parent buffer.
>
> I think this is equivalent to the halting problem.
Yes, I know. But that doesn't mean it is, and certainly not that the
problem couldn't be described.
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), (continued)
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Andreas Schwab, 2017/11/20
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Charles A. Roelli, 2017/11/20
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Eli Zaretskii, 2017/11/20
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Charles A. Roelli, 2017/11/24
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Eli Zaretskii, 2017/11/24
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Charles A. Roelli, 2017/11/25
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Eli Zaretskii, 2017/11/25
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Stefan Monnier, 2017/11/25
- bug#17893: 24.4.50; (error "Marker does not point anywhere"),
Eli Zaretskii <=
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Andreas Schwab, 2017/11/25
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Eli Zaretskii, 2017/11/25
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Andreas Schwab, 2017/11/25
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), martin rudalics, 2017/11/26
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Eli Zaretskii, 2017/11/26
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), martin rudalics, 2017/11/27
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Andreas Schwab, 2017/11/27
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), martin rudalics, 2017/11/27
- bug#17893: 24.4.50; (error "Marker does not point anywhere"), Stefan Monnier, 2017/11/24