Editing: manipulator.js