dispose method

void dispose()

Disposes the terminal.

Implementation

external void dispose();