Search for definition after navigation#345

wyuenho wants to merge 1 commit intoWilfred:masterWilfred/helpful:masterfrom

wyuenho:search-after-navigatewyuenho/helpful:search-after-navigateCopy head branch name to clipboard