[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to add "Up:" to Texinfo navigation bar?
|
From: |
Patrice Dumas |
|
Subject: |
Re: How to add "Up:" to Texinfo navigation bar? |
|
Date: |
Tue, 3 Sep 2024 17:49:09 +0200 |
On Tue, Sep 03, 2024 at 04:39:55PM +0100, Gavin Smith wrote:
> On Tue, Sep 03, 2024 at 10:55:33AM +0200, Patrice Dumas wrote:
> > Should we add a possibility to get back to <div> with a customization
> > option?
>
> I don't know. Couldn't someone make a <pre> behave pretty much like
> a <div> using CSS? I doubt it is worth having a customization option
> for this.
That's what we will do, in any case, it was more for backward
compatibility, but maybe just documenting the change is enough, we
already have too many customization variables.
--
Pat