Optional completerOptional crlfOptional escapeOptional history[]
Optional historyOptional outputOptional promptOptional removeIf true, when a new input line added
to the history list duplicates an older one, this removes the older line
from the list.
false
Optional tabOptional terminalGenerated using TypeDoc
Initial list of history lines. This option makes sense only if
terminalis set totrueby the user or by an internaloutputcheck, otherwise the history caching mechanism is not initialized at all.