[Top][All Lists]

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

Re: js-info polishing

From: Per Bothner
Subject: Re: js-info polishing
Date: Wed, 24 Feb 2021 12:43:52 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.0

On 2/23/21 2:46 PM, Gavin Smith wrote:
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.

That might make sense.  In principle it should be easy.
First deciding what kind of arrows/icons to use (perhaps a Unicode
arrow, such as ⇐ or ⇛, scaled up a bit).  Then mostly tweaking
CSS until we're happy.

I checked in the existing show/hide text button, for now.
        --Per Bothner
per@bothner.com   http://per.bothner.com/

reply via email to

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