Interface for different terminal types.
Parameters
-
return
-
Name of the terminal window
Get name of the default theme
Parameters
-
return
-
Height of the terminal window
Get height of the terminal window in pixels
Parameters
-
return
-
Width of the terminal window
Get width of the terminal window in pixels