LOCKING PUSH-BUTTON

Definition A <LOCKING PUSH-BUTTON> is a <PUSH BUTTON> that stays depressed until released with a key.