[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Any way to control which articles Gnus summary shows by default?
From: |
Michael Heerdegen |
Subject: |
Re: Any way to control which articles Gnus summary shows by default? |
Date: |
Wed, 04 Apr 2018 16:46:04 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Michael Heerdegen <michael_heerdegen@web.de> writes:
> But well, bad news: I seemingly lost a custom mark. Probably from
> pruning, but I thought that can't happen when you have `mark' in
> `gnus-registry-extra-entries-precious' (...?).
Though, I had a crash of X today, maybe the custom mark hadn't yet been
saved. OTOH I don't think the crash inserted the quotes.
Michael.
- Any way to control which articles Gnus summary shows by default?, Michael Heerdegen, 2018/04/03
- Re: Any way to control which articles Gnus summary shows by default?, Emanuel Berg, 2018/04/03
- Re: Any way to control which articles Gnus summary shows by default?, Emanuel Berg, 2018/04/03
- Re: Any way to control which articles Gnus summary shows by default?, Michael Heerdegen, 2018/04/04
- Re: Any way to control which articles Gnus summary shows by default?, Eric Abrahamsen, 2018/04/04
- Re: Any way to control which articles Gnus summary shows by default?, Michael Heerdegen, 2018/04/04
- Re: Any way to control which articles Gnus summary shows by default?, Eric Abrahamsen, 2018/04/04
- Re: Any way to control which articles Gnus summary shows by default?, Michael Heerdegen, 2018/04/04
- Re: Any way to control which articles Gnus summary shows by default?,
Michael Heerdegen <=
- Re: Any way to control which articles Gnus summary shows by default?, Michael Heerdegen, 2018/04/06
- Re: Any way to control which articles Gnus summary shows by default?, Eric Abrahamsen, 2018/04/06
- Re: Any way to control which articles Gnus summary shows by default?, Eric Abrahamsen, 2018/04/06
- Re: Any way to control which articles Gnus summary shows by default?, Eric Abrahamsen, 2018/04/06
- Re: Any way to control which articles Gnus summary shows by default?, Michael Heerdegen, 2018/04/07
- Re: Any way to control which articles Gnus summary shows by default?, Michael Heerdegen, 2018/04/07
- Re: Any way to control which articles Gnus summary shows by default?, Michael Heerdegen, 2018/04/07
- Re: Any way to control which articles Gnus summary shows by default?, Michael Heerdegen, 2018/04/08
- Re: Any way to control which articles Gnus summary shows by default?, Eric Abrahamsen, 2018/04/08
- Re: Any way to control which articles Gnus summary shows by default?, Michael Heerdegen, 2018/04/08