2022-02-25 22:00:39 +00:00
|
|
|
--- @meta
|
|
|
|
|
|
|
|
|
|
local terminal = {}
|
|
|
|
|
|
|
|
|
|
--- Restores the last saved state of the terminal
|
|
|
|
|
function terminal.restoreState() end
|
|
|
|
|
|
2023-12-04 00:54:00 +00:00
|
|
|
--- Saves the current state of the terminal.
|
2022-02-25 22:00:39 +00:00
|
|
|
function terminal.saveState() end
|
|
|
|
|
|
2023-12-04 00:54:00 +00:00
|
|
|
--- Puts the terminal into raw mode.
|
2022-04-04 10:40:25 +00:00
|
|
|
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`
|
2023-12-04 00:54:00 +00:00
|
|
|
--- NOTE: The size refers to the amount of columns and rows of text that can fit in the terminal.
|
2022-02-25 22:00:39 +00:00
|
|
|
function terminal.size() end
|
|
|
|
|
|
|
|
|
|
return terminal
|
