[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59381: Should xref--marker-ring be per-window?
From: |
Eli Zaretskii |
Subject: |
bug#59381: Should xref--marker-ring be per-window? |
Date: |
Sun, 20 Nov 2022 09:09:24 +0200 |
> From: Ackerley Tng <ackerleytng@gmail.com>
> Date: Sat, 19 Nov 2022 14:01:52 -0800
> Cc: Juri Linkov <juri@linkov.net>, 59381@debbugs.gnu.org
>
> What if we copy the whole stackv from the old window whenever a new window is
> opened?
What will happen with that if you switch to another window which displays
the same file, or delete the window where the stack is kept?
And please note that results of creation and deletion of windows are not
always predictable from the user POV. E.g., when you type "C-x 2", do you
always know which of the two windows will keep the ID of the original single
window?
- bug#59381: Should xref--marker-ring be per-window?, (continued)
- bug#59381: Should xref--marker-ring be per-window?, Juri Linkov, 2022/11/19
- bug#59381: Should xref--marker-ring be per-window?, Eli Zaretskii, 2022/11/19
- bug#59381: Should xref--marker-ring be per-window?, Dmitry Gutov, 2022/11/19
- bug#59381: Should xref--marker-ring be per-window?, Eli Zaretskii, 2022/11/20
- bug#59381: Should xref--marker-ring be per-window?, Dmitry Gutov, 2022/11/20
- bug#59381: Should xref--marker-ring be per-window?, Eli Zaretskii, 2022/11/21
- bug#59381: Should xref--marker-ring be per-window?, Ackerley Tng, 2022/11/21
- bug#59381: Should xref--marker-ring be per-window?, Dmitry Gutov, 2022/11/23
- bug#59381: Should xref--marker-ring be per-window?, Dmitry Gutov, 2022/11/23
- bug#59381: Should xref--marker-ring be per-window?, Ackerley Tng, 2022/11/20
- bug#59381: Should xref--marker-ring be per-window?,
Eli Zaretskii <=
- bug#59381: Should xref--marker-ring be per-window?, Dmitry Gutov, 2022/11/20
- bug#59381: Should xref--marker-ring be per-window?, Eli Zaretskii, 2022/11/20
- bug#59381: Should xref--marker-ring be per-window?, Ackerley Tng, 2022/11/20
- bug#59381: Should xref--marker-ring be per-window?, Eli Zaretskii, 2022/11/20
- bug#59381: Should xref--marker-ring be per-window?, Dmitry Gutov, 2022/11/20
- bug#59381: Should xref--marker-ring be per-window?, Juri Linkov, 2022/11/21
- bug#59381: Should xref--marker-ring be per-window?, Dmitry Gutov, 2022/11/23