-------- Forwarded Message -------- Subject: Widget Date: Wed, 13 May 2020 12:57:06 +0200 (CEST) From: fl To: Megill Norman
Hi Norm, can you post this: I insist. Why not opening the files using a widget accessed from the menu ? There are such standard widgets in every library. They are easy to plug. -- FL On Wednesday, May 13, 2020 at 7:18:30 AM UTC-4, Benoit wrote: > > I think the changes proposed by DAW, with Mario's remarks, would be a nice > addition, adhering to standard practices and POSIX. > > As for the call with no arguments, maybe the command > $ mmj2 > could simply prompt something like > Name of the database to open: > > As for FL's remark: being able to select the database from a menu would be > nice indeed, but this would require a change in the mmj2 program, whereas > DAW's proposal is to simply add a wrapper without changing mmj2 itself. > > Benoît > -- 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/18b55bed-6d13-42cc-9230-a6be62918260%40googlegroups.com.