Merge pull request #3762 from xuwei-k/fix-screpl

fix #3591. "Not a valid key: console-quick"
This commit is contained in:
Dale Wijnand 2017-11-23 09:58:36 +00:00 committed by GitHub
commit 97a2fe8c1c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -56,7 +56,7 @@ object IvyConsole {
depSettings)
val newStructure = Load.reapply(session.original ++ append, structure)
val newState = state.copy(remainingCommands = Exec("console-quick", None) :: Nil)
val newState = state.copy(remainingCommands = Exec(Keys.consoleQuick.key.label, None) :: Nil)
Project.setProject(session, newStructure, newState)
}