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.
