Closed ijdickinson closed 10 years ago
If a prefix button is used to remove a prefix from the query, it currently will still be used to abbreviate results that are displayed. It would be more consistent to only use prefixes from the query when abbreviating results.
Reported by @afs
Fix applied - please verify
Works nicely.
If a prefix button is used to remove a prefix from the query, it currently will still be used to abbreviate results that are displayed. It would be more consistent to only use prefixes from the query when abbreviating results.
Reported by @afs