Indicate `r`etry is the option applied if users just press RETURN (#4748)

The message:

```
Project loading failed: (r)etry, (q)uit, (l)ast, or (i)gnore?
```

is not explicit about retry being the option used when pressing return.
This commit is contained in:
Ignasi Marimon-Clos 2019-09-26 03:33:19 +02:00 committed by eugene yokota
parent 0e69402660
commit 7a87a9e02e
1 changed files with 1 additions and 1 deletions

View File

@ -760,7 +760,7 @@ object BuiltinCommands {
@tailrec
private[this] def doLoadFailed(s: State, loadArg: String): State = {
val result = (SimpleReader.readLine(
"Project loading failed: (r)etry, (q)uit, (l)ast, or (i)gnore? "
"Project loading failed: (r)etry, (q)uit, (l)ast, or (i)gnore? (default: r)"
) getOrElse Quit)
.toLowerCase(Locale.ENGLISH)
def matches(s: String) = !result.isEmpty && (s startsWith result)