dispose method

void dispose()

Releases the owned buffers. Native use-after-delete is undefined; Dart reports it deterministically as StateError.

Implementation

void dispose() {
  if (_disposed) return;
  _highlighter.dispose();
  _renderer.reset();
  _disposed = true;
}