2022-02-25 22:00:39 +00:00
|
|
|
--- @meta
|
|
|
|
|
|
|
|
|
|
local terminal = {}
|
|
|
|
|
|
|
|
|
|
--- Restores the last saved state of the terminal
|
|
|
|
|
function terminal.restoreState() end
|
|
|
|
|
|
|
|
|
|
--- Saves the current state of the terminal
|
|
|
|
|
function terminal.saveState() end
|
|
|
|
|
|
2022-04-04 10:40:25 +00:00
|
|
|
--- Puts the terminal in raw mode
|
|
|
|
|
function terminal.setRaw() end
|
|
|
|
|
|
2022-02-25 22:00:39 +00:00
|
|
|
--- Gets the dimensions of the terminal. Returns a table with `width` and `height`
|
|
|
|
|
--- Note: this is not the size in relation to the dimensions of the display
|
|
|
|
|
function terminal.size() end
|
|
|
|
|
|
|
|
|
|
return terminal
|
