void setExternalHighlights(List<int> ayahUQNumbers) { externallyHighlightedAyahs .assignAll(ayahUQNumbers.toSet().toList()..sort()); }