Better name for Android mouse input