Mantis vs. mouse cursor