Extensions to `mouse.el'