@attoparsec you could use a pair of magnets to make a magnetic detent!