destroyRenderer method

void destroyRenderer(
  1. Pointer<RendererHandle> renderer, {
  2. bool useAlternateScreen = false,
  3. int splitHeight = 0,
})

Destroys renderer, optionally restoring the main screen and reserving splitHeight rows. Throws FFIException on failure.

Implementation

void destroyRenderer(
  Pointer<RendererHandle> renderer, {
  bool useAlternateScreen = false,
  int splitHeight = 0,
}) {
  _guard('Failed to destroy renderer', () {
    _generated.destroyRenderer(
      renderer.cast(),
      useAlternateScreen,
      splitHeight,
    );
  });
}