[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59381: Should xref--marker-ring be per-window?
From: |
Ackerley Tng |
Subject: |
bug#59381: Should xref--marker-ring be per-window? |
Date: |
Thu, 24 Nov 2022 15:42:19 -0800 |
> (defcustom xref-history-storage 'xref-window-local-history
Here's an updated patch!
On Thu, Nov 24, 2022 at 6:17 AM Dmitry Gutov <dgutov@yandex.ru> wrote:
>
> On 24/11/22 05:28, Dmitry Gutov wrote:
> > (defcustom xref-storage-type 'xref-window-local-history
>
> Or rather:
>
> (defcustom xref-history-storage 'xref-window-local-history
0001-Add-support-for-window-local-xref-history.patch
Description: Text Data
- bug#59381: Should xref--marker-ring be per-window?, Ackerley Tng, 2022/11/19
- 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/24
- bug#59381: Should xref--marker-ring be per-window?,
Ackerley Tng <=
- bug#59381: Should xref--marker-ring be per-window?, Dmitry Gutov, 2022/11/24
- bug#59381: Should xref--marker-ring be per-window?, Ackerley Tng, 2022/11/24
- bug#59381: Should xref--marker-ring be per-window?, Dmitry Gutov, 2022/11/24
- bug#59381: Should xref--marker-ring be per-window?, Dmitry Gutov, 2022/11/23
- bug#59381: Should xref--marker-ring be per-window?, Eli Zaretskii, 2022/11/24
- 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?, Eli Zaretskii, 2022/11/20
- bug#59381: Should xref--marker-ring be per-window?, Ackerley Tng, 2022/11/20