GNU bug report logs - #77544
(WIP) [PATCH] Prettify page separators.

Previous Next

Full log

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

From: Elijah Gabe Pérez <eg642616 <at> gmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: gerd.moellmann <at> gmail.com, 77544 <at> debbugs.gnu.org
Subject: Re: bug#77544: (WIP) [PATCH] Prettify page separators.
Date: Sun, 6 Apr 2025 07:27:01 -0600

[Message part 1 (text/plain, inline)]

Eli Zaretskii <eliz <at> gnu.org> writes:

> > From: Elijah Gabe Pérez <eg642616 <at> gmail.com>
> > Date: Sat, 5 Apr 2025 23:33:04 -0600
> >
> > Eli Zaretskii <eliz <at> gnu.org> writes:
> >
> >  > From: Elijah Gabe Pérez <eg642616 <at> gmail.com>
> >  > Cc: Gerd Möllmann <gerd.moellmann <at> gmail.com>,
> >  >   77544 <at> debbugs.gnu.org
> >  > Date: Sat, 05 Apr 2025 12:13:26 -0600
> >  >
> >  >  Or an optional feature of whitespace-mode?
> >  >
> >  > I don't think whitespace-mode is related to this.
> >
> >  The form-feed ^L character is one of whitespace characters.
> >
> > Right, but I don't think this should be whitespace-mode exclusive.  IMO
> this new minor mode can be used as
> > alternative to make-separator-line (for example in shortdoc buffers)
> which looks ugly in both terminal and GUI
> > frames.
>
> Sure, but why is it a problem to make this part of whitespace-mode?
> It already has a number of optional features, each one of which can
> be turned on and off separately.
>
> The advantage is that we don't need to have yet another minor mode,
> yet another mode-line lighter, etc.  Also, some people already turn on
> whitespace-mode in text modes.
>


It makes sense, since ^L characters are often used in files.

>

[Message part 2 (text/html, inline)]

Previous Next

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