[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Question about display engine
From: |
martin rudalics |
Subject: |
Re: Question about display engine |
Date: |
Wed, 21 Aug 2019 09:37:55 +0200 |
> Extending the underline|overline to the right of the line in the region
> is a fancy detail, but I don't find it useful at all (underlining empty
> long spaces is conceptually an error), and in the actual gui it is not
> happening (not even extend_face_to_end_of_line in gui is executed as the
> background color is extended automatically somewhere else) and there
> haven't been complains either, so there is not people using that, so why
> do we provide a complex solution implementation for a problem nobody
> really cares and that potentially will produce overheads, code
> complexity and more issues?
>
> I am wondering about over-specifications and over-engineering for such a
> detail, when most of the users only need to extend the background color.
Agreed. But what would we do when in the foreseeable future somebody
asks us to provide such a feature? No one here has Eli's experience
when it comes to guessing at what Emacs users might eventually want.
martin
- Re: Question about display engine, (continued)
- Re: Question about display engine, Eli Zaretskii, 2019/08/30
- Re: Question about display engine, Ergus, 2019/08/30
- Re: Question about display engine, martin rudalics, 2019/08/29
- Re: Question about display engine, Eli Zaretskii, 2019/08/28
- Re: Question about display engine, martin rudalics, 2019/08/29
- Re: Question about display engine, Eli Zaretskii, 2019/08/29
- Re: Question about display engine, martin rudalics, 2019/08/30
- Re: Question about display engine, Eli Zaretskii, 2019/08/30
- Re: Question about display engine, martin rudalics, 2019/08/31
- Re: Question about display engine, Eli Zaretskii, 2019/08/31
- Re: Question about display engine,
martin rudalics <=
- Re: Question about display engine, Eli Zaretskii, 2019/08/08
- Re: Question about display engine, martin rudalics, 2019/08/09
- Re: Question about display engine, Eli Zaretskii, 2019/08/10
- Re: Question about display engine, Stefan Monnier, 2019/08/10
- Re: Question about display engine, Eli Zaretskii, 2019/08/10
- Re: Question about display engine, martin rudalics, 2019/08/11
- Re: Question about display engine, martin rudalics, 2019/08/11
- Re: Question about display engine, Eli Zaretskii, 2019/08/08
- Re: Question about display engine, Ergus, 2019/08/08
- Re: Question about display engine, martin rudalics, 2019/08/08