Hi Ender, On Saturday, November 15, 2025 at 6:03:33 PM UTC+1 Ender Ting wrote:
as prev-theorem references are sorted in wrong order I don't quite understand what you mean by that, could you elaborate further? Using it with my proof-in-progress longer than 360 lines, though, is rougher. Even text selection lags somehow (to the point it is faster to delete individual characters instead of selecting a line and deleting it at once). That is strange. So far I haven't been able to get mmt1 to lag on my machine. If you don't mind me asking: What kind of hardware are you running mmt1 on? mmt1 shouldn't affect text selection in any way, so the only reason I can come up with is that mmt1 might be using too much RAM. Is that the case? And if you have VSCode installed: Does opening the same file in VSCode also produce lag? Answering these questions should help me pin down your performance issues. Best regards, Marlo Bruder -- 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 visit https://groups.google.com/d/msgid/metamath/bd4f30f6-d7f6-4520-8105-245ad9967f44n%40googlegroups.com.
