The problem with the “jumping” [-] button is fixed. I also added few more features:
1) Adjustment of column widths: click a “three horizontal lines” button at the top right corner of the proof table. Column widths are stored in the local storage of the browser, so width adjustment may be done only once and it will be applied to all other assertion pages unless local storage is turned off. 2) Highlighting of matching parentheses: hover the mouse over a parenthesis to temporarily highlight it or click it to highlight it permanently. This feature works only on unexpanded expressions. Best regards, Igor воскресенье, 20 декабря 2020 г. в 17:46:28 UTC+1, Igor Ieskov: > 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/e4182e7c-8910-4e8b-8457-5854e11ffc8en%40googlegroups.com.
