[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Should `revert-buffer' preserve text-scaling by default?
From: |
Eli Zaretskii |
Subject: |
Re: Should `revert-buffer' preserve text-scaling by default? |
Date: |
Mon, 02 Dec 2019 19:42:55 +0200 |
> From: Karl Fogel <address@hidden>
> Cc: address@hidden, address@hidden
> Date: Mon, 02 Dec 2019 11:19:08 -0600
>
> Stefan proposed that the new default be to *not* reset modes, and that C-u
> could be reassigned to mean "and reset the modes". Here is what he said:
>
> >Currently, the revert-buffer's C-u is used to choose between "revert
> >from file or revert from the auto-save file". Personally I never use
> >that (probably the most obvious reason is that I don't use auto-save
> >files at all), so I'd gladly change this C-u to mean "and reset the
> >modes".
I meant it the other way around.
If we want to consider changing the default, IMO it would be better to
add a defcustom that will start at nil (i.e. the default stays as it
was before), and will in the future become non-nil if that's what
people want.
- Re: Should `revert-buffer' preserve text-scaling by default?, Karl Fogel, 2019/12/01
- Re: Should `revert-buffer' preserve text-scaling by default?, Stefan Kangas, 2019/12/01
- Re: Should `revert-buffer' preserve text-scaling by default?, Stefan Monnier, 2019/12/01
- Re: Should `revert-buffer' preserve text-scaling by default?, Karl Fogel, 2019/12/01
- Re: Should `revert-buffer' preserve text-scaling by default?, Eli Zaretskii, 2019/12/02
- Re: Should `revert-buffer' preserve text-scaling by default?, Karl Fogel, 2019/12/02
- Re: Should `revert-buffer' preserve text-scaling by default?,
Eli Zaretskii <=
- Re: Should `revert-buffer' preserve text-scaling by default?, Karl Fogel, 2019/12/02
- Re: Should `revert-buffer' preserve text-scaling by default?, Stefan Monnier, 2019/12/02
- Re: Should `revert-buffer' preserve text-scaling by default?, Karl Fogel, 2019/12/02
- Re: Should `revert-buffer' preserve text-scaling by default?, Eli Zaretskii, 2019/12/03
- Re: Should `revert-buffer' preserve text-scaling by default?, Eli Zaretskii, 2019/12/03
- Re: Should `revert-buffer' preserve text-scaling by default?, Eli Zaretskii, 2019/12/03
- Re: Should `revert-buffer' preserve text-scaling by default?, Karl Fogel, 2019/12/03