Glossary » pinned menu
pinned menu
a menu that would normally go away after a selection is made but which stays up because a pushpin icon is clicked which “pins” it up, causing it to remain available after the selection; similar in spirit to tear-off menus. (OpenLook terminology)
