CustomJumpLine constructor
Creates a CustomJumpLine widget.
The times parameter determines how many blank lines to insert.
Defaults to 1 if not specified.
Implementation
const CustomJumpLine({super.key, this.times = 1});
Creates a CustomJumpLine widget.
The times parameter determines how many blank lines to insert.
Defaults to 1 if not specified.
const CustomJumpLine({super.key, this.times = 1});