[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/