resetMousePointer method

void resetMousePointer()

Resets the mouse pointer shape back to the terminal's default pointer.

Implementation

void resetMousePointer() {
  const terminator = '\x1b\\';
  backend.write('\x1b]22;$terminator');
}