[sdiy] Does anybody know this type of push button switch ???

[Gordon JC Pearce]

On 18/01/13 15:28, Jean-Pierre Desrochers wrote:

> Some of these switches have led embedded.
>
> Any clue of what manufacturer they are from
> and where to buy them ?
> I need around 60.

They look very similar to the ones used on the front panels of old DEC 
BA23 boxes (like for MicroPDP-11s).  Perhaps you could dig out a PDP11 
service manual from bitsavers.org and see if there's anything in the BOM?

-- 
Gordonjcp MM0YEQ