Alt+click doesn't edit label and step type when "long click" is enabled

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

Alt+click doesn't edit label and step type when "long click" is enabled #138

Closed expln closed 1 year ago

expln commented 1 year ago

Alt+click doesn't edit label and step type when "long click" is enabled.