toggle menu
plugin
2023.10.0-SNAPSHOT
jvm
switch theme
search in API
plugin
/
com.jetbrains.packagesearch.plugin.ui.model.packageslist
/
PackageListBuilder
/
addHeader
add
Header
fun
addHeader
(
title
:
String
,
id
:
PackageListItem.Header.Id
,
state
:
PackageListItem.Header.State
,
count
:
Int
?
,
attributes
:
List
<
String
>
=
emptyList()
,
additionalContent
:
PackageListItem.Header.AdditionalContent
?
=
null
)