Constructor.
the characters width
the number of lines
the pixel width
the pixel height
the terminal type
Optional
environment: anyenvironment properties to pass to the shell
Get this object as a standard JSON encoded string value.
This method calls Domain.SshCommand#toJsonObject and then turns that into a JSON string.
the JSON encoded string
Get this object in standard JSON form.
An example result looks like this:
{
"cols": 80,
"lines": 24,
"width": 640,
"height": 480,
"type": "xterm"
}
an object, ready for JSON encoding
Static
fromParse a JSON string into a Domain.SshTerminalSettings instance.
The JSON must be encoded the same way Domain.SshTerminalSettings#toJsonEncoding does.
the JSON to parse
the new instance, or undefined
if json
is undefined
Static
fromCreate a new instance from an object in standard JSON form.
The object must be in the same style as Domain.SshTerminalSettings#toJsonObject produces.
the object in standard JSON form
the new instance, or undefined
if obj
is undefined
Settings for a SSH terminal.