normalizeOptionsList static method
Trim, drop empty entries, and dedupe by trimmed value (first occurrence wins).
Implementation
static List<String> normalizeOptionsList(List<String>? raw) {
if (raw == null || raw.isEmpty) return const [];
final seen = <String>{};
final out = <String>[];
for (final s in raw) {
final t = s.trim();
if (t.isEmpty) continue;
if (seen.add(t)) out.add(t);
}
return out;
}