search

expln / metamath-lamp

Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
https://expln.github.io/lamp/latest/index.html
MIT License
13 stars 5 forks source link

Allow "Hide context" in additional actions #145

Closed billh0420 closed 1 year ago

billh0420 commented 1 year ago

The name "doExpand" is somewhat a misnomer.

I made the following change:

    doExpand.current = Js.Nullable.return(actToggleAccordion)

The function now does "toggle" rather than "expand".

Likewise, the name "openCtxSelector" is somewhat a misnomer now.

I don't know whether it is worthwhile trying to rename either.

expln commented 1 year ago

Thank you.