Assertion: option key | /r/Causes | dock
Facets:
Source sentences:
text: Dock - the Option key causes the "Hide" and "Quit" menu items in the context menu of a Dock icon to switch to "Hide Others" and "Force Quit".