Closed saihaj closed 3 years ago
@bhajneet should abbreviations also be in search results?
I think they already are
@saihaj ?
Yes abbreviations are being used in search results as of #575. Technically when I resolved that I should have checked hotkeys too but I forgot and that is why we have this 🙂
Summary of PR
Use the source abbreviation to have BoS style when copy pasting as done for serach results in #575
Time spent on PR
15 mins - 30 seconds for fix and rest time spent to find the line because I forgot where it was : )
Linked issues
Fix #620
Reviewers
@Harjot1Singh