There are three different uses I can think of:
- Tab key
- Tab character
- Tab UI element
While the Tab key usually generates the tab character, they should still be treated separately. If you're asking how to make the tab key insert a tab character, you're probably doing something wrong or need to read a
I suggest we do the following instead of simply merging:
- Search the tab character and tab key uses of
tabs, and retag them to
tabulator-key, if that's common in English? I'm not sure whether it helps or detracts...)
- Create a new tag
tab-ui?) and make both
- Create tag wikis for these tags, clearly describing what each tag is for, maybe (not in the excerpt, but the actual wiki) linking to the other, similar but unrelated tags.
- The 3rd meaning is the most common, i.e. tabbed interface. Therefore this is the target of the synonyms
- All tags start with
tab, so users who type this will be presented all of these as options.
tabswill not be presented, as they're synonyms, so users will get the choice of three distinct options.