> Maybe Jinx has some personalised mouse button layout which
> calls Mirror whenever he pushes the middle button

No, I don't recall setting anything up. It's just the way it works
with the mouse wheel, and I've used Eagle on several computers
with several mice

-- 
http://www.piclist.com PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist