in plugin/src/main/kotlin/com/jetbrains/packagesearch/plugin/ui/model/packageslist/PackageListBuilder.kt [141:157]
fun addHeader(
title: String,
id: PackageListItem.Header.Id,
state: PackageListItem.Header.State,
attributes: List<String> = emptyList(),
additionalContent: PackageListItem.Header.AdditionalContent? = null,
) {
items.add(
PackageListItem.Header(
title = title,
id = id,
state = state,
attributes = attributes,
additionalContent = additionalContent,
)
)
}