profile args editor

This commit is contained in:
Eugene Pankov
2018-12-21 20:06:03 +01:00
parent 8a3906687a
commit 9ef3cbc177
4 changed files with 26 additions and 4 deletions

View File

@@ -14,8 +14,8 @@ export interface ResizeEvent {
export interface SessionOptions {
name?: string
command?: string
args?: string[]
command: string
args: string[]
cwd?: string
env?: any
width?: number