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
[email protected] http://per.bothner.com/
