EditorRegionOptions({ required this.start, required this.end, this.color = const Color.fromRGBO(0x0a, 0x0a, 0x23, 1), });