[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: |
Tue, 03 Dec 2019 18:10:08 +0200 |
> From: Stefan Monnier <address@hidden>
> Cc: Eli Zaretskii <address@hidden>, address@hidden
> Date: Mon, 02 Dec 2019 17:49:13 -0500
>
> There's still a UI question, tho. There are (at least) 3 operations we
> want to bind to the same command:
>
> A- revert buffer content
> B- revert to auto-save file
> C- revert and reset modes
>
> Currently C is the default and B is obtained via C-u. With the bool var
> suggested, we could have A by default but would C-u give you C or B?
> In that case would we still give access to the other somehow?
I think the option we discuss should be independent of A and B,
i.e. it will affect both A and B in the same manner.
- Re: Should `revert-buffer' preserve text-scaling by default?, (continued)
- 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, 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?, 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 <=
- 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
Re: Should `revert-buffer' preserve text-scaling by default?, Juri Linkov, 2019/12/01