[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Various fixes for early init file changes
From: |
Radon Rosborough |
Subject: |
Re: [PATCH] Various fixes for early init file changes |
Date: |
Mon, 19 Mar 2018 09:20:46 -0700 |
>> Then I realized that novice users should not be suppressing this
>> warning, and should instead be taking the extra call to
>> `package-initialize' out of their init-files.
>
> Hmm, in light of this, should we abandon the idea of adding buttons in
> *Warning* buffers allowing people to easily suppress warnings? Or are
> there other use cases?
I'm honestly not sure. I like the idea of making *Warnings* more
user-friendly, because that seems like a good step towards
modernization. However, I do think that there shouldn't be any easily
accessible way to turn off this one particular warning, since
otherwise I can guarantee a lot of people are going to use it instead
of fixing the (important) problem.
Maybe as a compromise there could be a way to mark a warning so that a
disable button isn't shown for it?
-- Radon
- [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/03
- Re: [PATCH] Various fixes for early init file changes, Clément Pit-Claudel, 2018/03/03
- Re: [PATCH] Various fixes for early init file changes, Noam Postavsky, 2018/03/08
- Re: [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/09
- Re: [PATCH] Various fixes for early init file changes, Noam Postavsky, 2018/03/09
- Re: [PATCH] Various fixes for early init file changes, Eli Zaretskii, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Robert Pluim, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes,
Radon Rosborough <=
- Re: [PATCH] Various fixes for early init file changes, Stefan Monnier, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Stefan Monnier, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/19
- RE: [PATCH] Various fixes for early init file changes, Drew Adams, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Clément Pit-Claudel, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/20
- Re: [PATCH] Various fixes for early init file changes, Clément Pit-Claudel, 2018/03/20
- Re: Various fixes for early init file changes, Andy Moreton, 2018/03/20