commandSeparator
|
var commandSeparator: String |
consoleSummonKey
|
var consoleSummonKey: Keystroke |
maxScrollback
|
var maxScrollback: Int |
outputColor
|
var outputColor: Color |
showBackground
|
var showBackground: Boolean |
showCursorIndex
|
var showCursorIndex: Boolean |
showEnteredCommands
|
var showEnteredCommands: Boolean |
showExceptionDetails
|
var showExceptionDetails: Boolean |
showMemoryUsage
|
var showMemoryUsage: Boolean |
transferStorageToHome
|
var transferStorageToHome: Boolean |
typoCorrectionThreshold
|
var typoCorrectionThreshold: Float |