-------- Forwarded Message -------- Subject: Widget again Date: Thu, 14 May 2020 14:42:40 +0200 (CEST) From: fl To: Megill Norman
Hi Norm, could you post that: I insist once again: why not adding a widget to open a file from the menu. Mmj2 has already been modified by Mario Carneiro and I see no reason why it couldn't be done once again. -- FL -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/b4b63a16-792c-46b9-bc8b-9ba644b1a477%40googlegroups.com.