
9 Apr
2009
9 Apr
'09
10:24 a.m.
Gwern Branwen wrote:
So something like ShellPrompt using the GridSelect UI? Sounds like a good idea.
Does anyone want to do it?
I'm currently working on generalizing GridSelect, which is part of the implementation. This idea however has the drawback that one can no longer enter normal text as input as one can in ShellPrompt, but since this is probably only intended for starting applications and not for running elaborate shell commands, I guess that's ok.