Bastien <b...@gnu.org> writes: > Hi Rainer, > > Rainer M Krug <r.m.k...@gmail.com> writes: > >> Thanks Bastien - here is my suggestion and if no objections are raised, I >> would suggest to >> implement it: > > I don't understand the "..." parts in your example. >
I agree, I think explicitly spelling out all options would make this example more usable. > >> I think that is it for the moment - the header arguments section, >> specifically the language >> specific one, should possibly be left out as Eric is working on the >> autocomplete feature, which >> could possibly be called from the menu as well when implemented? > > Eric's take. > I see no problem in duplicating functionality/content between the menu and the auto completion. Isn't the whole point of menus to duplicate functionality for the purpose of clarity? Best, > > Thanks! -- Eric Schulte http://cs.unm.edu/~eschulte/