|
From: | Mathias Dahl |
Subject: | Re: Abbrev suggestions - feedback appreciated |
Date: | Sat, 7 Oct 2017 19:18:54 +0200 |
> Also, someone mailed me about the scenario where there are more than one
> abbrev for the same expansion. Right now, you will get a suggestion to use
> the most recently defined abbrev. I wonder how useful it would be to see
> the full list of abbrevs that might expand to a certain expansion...
I think it's enough to make sure we show the /shortest/ abbrev.
[Prev in Thread] | Current Thread | [Next in Thread] |