[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Native line numbers landed on master
From: |
Eli Zaretskii |
Subject: |
Re: Native line numbers landed on master |
Date: |
Wed, 02 Oct 2019 18:06:36 +0300 |
> From: Juanma Barranquero <address@hidden>
> Date: Wed, 2 Oct 2019 01:51:17 +0200
> Cc: Lars Ingebrigtsen <address@hidden>, "Yuri D'Elia" <address@hidden>, Eli
> Zaretskii <address@hidden>,
> Emacs developers <address@hidden>
>
> > 1) I don't have any strong feeling about using one or two values. But in
> > any case they should be configurable. This will add more use cases that
> > could benefit with this and I think it will be simple to implement (just
> > need to add 2 int variables).
>
> Adding the variables is trivial, yes. The problem is dealing with errors,
> like the user setting the variables to
> non-numbers, etc. I'm sure we don't want to throw signals there, do we?
>
> Eli, opinions?
You cannot usefully signal an error from redisplay. So if the values
don't match expectations, use the hard-coded defaults instead. If
this is documented ("Any other value is treated as ..."), we are fine.
- Re: Native line numbers landed on master, (continued)
- Re: Native line numbers landed on master, Yuri D'Elia, 2019/10/01
- Re: Native line numbers landed on master, Eli Zaretskii, 2019/10/01
- Re: Native line numbers landed on master, Lars Ingebrigtsen, 2019/10/01
- Re: Native line numbers landed on master, Eli Zaretskii, 2019/10/01
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/01
- Re: Native line numbers landed on master, Ergus, 2019/10/01
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/01
- Re: Native line numbers landed on master, Ergus, 2019/10/01
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/02
- Re: Native line numbers landed on master, Ergus, 2019/10/02
- Re: Native line numbers landed on master,
Eli Zaretskii <=
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/03
- Re: Native line numbers landed on master, martin rudalics, 2019/10/03
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/03
- Re: Native line numbers landed on master, Robert Pluim, 2019/10/03
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/03
- Re: Native line numbers landed on master, Robert Pluim, 2019/10/03
- Re: Native line numbers landed on master, Stefan Kangas, 2019/10/03
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/03
- Re: Native line numbers landed on master, Yuri D'Elia, 2019/10/03
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/03