bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: js-info polishing


From: Gavin Smith
Subject: Re: js-info polishing
Date: Tue, 23 Feb 2021 22:46:57 +0000
User-agent: Mutt/1.9.4 (2018-02-28)

On Tue, Feb 23, 2021 at 02:29:04PM -0800, Per Bothner wrote:
> It seems the problems Gavin reported were with domterm-specfic
> "extra styling", but using the plan "info.css" works ok.
> So should I check in the changes I made to info.js/info.css?
> I can leave out the special styling rules for narrow windows,
> for now, if you think that is best.

If your changes are just for the hide/show button I think that
is a good feature to have although I think it would be better
to have a less obtrusive button.  It would be nicer to have a
little arrow that you click on to do it, which is more like similar
interfaces for hiding panels.  I've no idea how easy or reliable
it would be to implement such a thing, though.

Since we are saying that the JS Interface is "experimental", I do not
mind if you check in your changes just now.  There is nobody else
working on this code to my knowledge so please feel free to feel
responsible for it and check in whatever code you feel is best for it.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]