Session: make profile public

This commit is contained in:
zt515 2017-12-08 00:04:04 +08:00
parent b8db170206
commit 1eef869145

View File

@ -16,7 +16,7 @@ import java.io.File
open class ShellTermSession private constructor(shellPath: String, cwd: String,
args: Array<String>, env: Array<String>,
changeCallback: SessionChangedCallback,
private val shellProfile: ShellProfile)
val shellProfile: ShellProfile)
: TerminalSession(shellPath, cwd, args, env, changeCallback) {
var exitPrompt = App.get().getString(R.string.process_exit_prompt)