7.1. The mouse options