Editor : changed the `times` parameter to an optional with default value of 1

navigateDown
navigateLeft
navigateRight
navigateUp