Well, apart from "Symbols" and "Documents" which we could abbreviate "Sym" and "Doc", all the tabs are from plugins, which have separate authors, and they may not be as agreeable as @codebrainz to cut their titles.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.