Editor: tweak label for "Go to implementation" tabs (#8201)

No release notes as this is a followup to #7890 
Release Notes:

- N/A
fa2c92d190Piotr Osiewicz committed on 2/22/2024, 4:06:25 PM· committed by GitHubparent20b10fd
2 files changedLine totals unavailable