public close() as Void
Stops polling and closes the underlying pseudo-terminal without clearing the displayed text. Repeated calls are safe. If native close fails, a later call retries resource release while polling remains stopped.
terminal.close()