Thanks Benoit and Norm! I will try to fix this behaviour of +/- button. (it happens in all browsers)
Best regards, Igor воскресенье, 20 декабря 2020 г. в 17:35:35 UTC+1, Norman Megill: > On Sunday, December 20, 2020 at 11:13:33 AM UTC-5 Norman Megill wrote: > >> I like this very much. I think I will add a variable to the $t statement >> in set.mm so your base URL can be maintained there, instead of being >> hard-coded in metamath.exe. (And Thierry's structured version also, which >> is currently hard-coded.) Give me a week or so. >> >> An observation (in Chrome 87.0.4280.88 at least): when the [+] box is >> clicked, the [-] box sometimes appears in the lower-left corner of the >> expanded table cell and other times in the upper-left corner. E.g. step 34 >> of sqrtirr shows a lower-left [-] and step 35 shows an upper-right [-]. >> Ideally the [-] would remain at the same position as the corresponding [+] >> so we can open and close an expansion >> > > s.b. "upper-left" > > >> without moving the mouse, although I'm not sure how hard that is to do. >> >> Norm >> > -- 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/6508042d-9b30-411c-990c-89d357ce5492n%40googlegroups.com.
