[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 18:15:08 +0200 |
> From: Karl Fogel <address@hidden>
> Cc: Eli Zaretskii <address@hidden>, address@hidden
> Date: Sun, 01 Dec 2019 20:01:37 -0600
>
> Even though Eli unconvinced me of that earlier, it turns out I'm weak-minded
> enough to have already fallen back into thinking it's a good idea now that
> you suggest it. So I'm +1 on what you say, at least until Eli posts again?
If we use a special value of the argument, not just C-u, I'm okay with
that (and I think I already said that in this discussion, didn't I?).
- 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 <=
- 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, 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