Editor : doc and test for `navigateLeft`