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
12 stars 5 forks source link

On H/P dropdown, start selection at current state #55

Closed david-a-wheeler closed 1 year ago

david-a-wheeler commented 1 year ago

When pressing alt+left click on the P or H, it shows a mysterious dropdown with no indication of what it is. It'd be better if this dropdown automatically opened and started by highlighting the current value. That would make easier to see what it currently is, easier to change, and easier to see what the options are in the first place :-).

expln commented 1 year ago

The corresponding PR #132 is merged and the changes are deployed to dev. Please, check that it works good for you. I will release it soon.

david-a-wheeler commented 1 year ago

It works well on my tests. I think it's ready to ship.

expln commented 1 year ago

Thank you! I've just recently released it - https://expln.github.io/lamp/v13/index.html

expln commented 1 year ago

I am closing this issue. Thank you!