factory Selection.fromJson(Map<String, dynamic> json) { return Selection( start: Position.fromJson(json['start']), end: Position.fromJson(json['end']), ); }