On 07/18/2016 01:45 PM, James Youngman wrote:
> On Mon, Jul 18, 2016 at 6:52 AM, Bernhard Voelker
> wrote:
>> a) --interactive=default-novs. --interactive=default-yes
> I have a preference for (a) [...]
Great, let's do it that way, thanks!
Have a nice day,
Berny
Thank you all for working on my idea.
As I am kind of busy, I will leave it all up to you to perfect it.
I have a preference for (a) because I'm mildly philosophically opposed to
the abbreviation option (among other reasons, because supporting the
shortest unique abbreviation gives rise to surprising results when other
possible expansions appear in later releases).
On Mon, Jul 18, 2016 at 6:52 AM, Be
