Ok, that makes sense. I changed it to a simple click in v3. https://igorocky.github.io/mm-proof-assistant/demo/v3/index.html
Best regards, Igor On Thursday, January 12, 2023 at 7:20:49 PM UTC+1 David A. Wheeler wrote: > > > On January 11, 2023 2:42:10 PM CST, Igor Ieskov <[email protected]> > wrote: > > > > > >Hi Thierry, > > > >*>>> It's possible to edit a step's formula using ALT-left click, why not > a > >simple click? (that's why I naturally tried first, then I saw the > >tooltip...)* > > > >I reserved a simple click for future - I am planning to implement a > feature > >when a simple click on any symbol will highlight the smallest syntax > >subtree the symbol is included into. I hope this feature will simplify > >exploring long statements and also it should make it easier to copy > >subexpressions. > > I like that featurevidea, but I think "normal left click" to edit the box, > vs. Although left click to do a special selection, would be much more > intuitive. > > In particular, if you never discovered the special selection option bur > can edit, you can get things done. The reverse isn't true. > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/e02584de-4979-4301-8c04-a5b21dc88983n%40googlegroups.com.
