refresh method

void refresh()
override

refreshes the Terminal (notifies listeners and sets it to dirty)

Implementation

void refresh() {
  _sendPort?.send([_IsolateCommand.refresh]);
}