Editing: mouse.js