GNU bug report logs - #25308
Shorten long "ui-lines" in Custom buffers

Previous Next

Full log

Message #17 received at 25308 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Stefan Kangas <stefan <at> marxist.se>
Cc: Eli Zaretskii <eliz <at> gnu.org>, Jonas Bernoulli <jonas <at> bernoul.li>,
 25308 <at> debbugs.gnu.org
Subject: Re: bug#25308: Shorten long "ui-lines" in Custom buffers
Date: Sun, 03 Nov 2019 15:34:52 +0100

Stefan Kangas <stefan <at> marxist.se> writes:

> Yes, it works on both text based and graphical displays.  Please see
> the attached patch.
>
> Lars suggested to remove the lines entirely, but I think I prefer to
> not change that for now.  Perhaps it would make more sense as part of
> a bigger overhaul of the look and feel of customize.
>
> Any comments?

I haven't tried the patch, but it looks good to me.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.