It is necessary to set finish=true when the completion is unique.
Otherwise, one gets \upsilon instead of the proper glyph.
Fixes bug #12674.
docstring longestCompletion = longestUniqueCompletion();
prefix = cur.inset().completionPrefix(cur);
docstring postfix = longestCompletion.substr(min(longestCompletion.size(), prefix.size()));
- cur.inset().insertCompletion(cur, postfix, false);
+ cur.inset().insertCompletion(cur, postfix, uniqueCompletionAvailable());
old_cursor_ = bv.cursor();
updatePrefix(cur);