toggle menu
plugin
2023.10.0-SNAPSHOT
jvm
switch theme
search in API
plugin
/
com.jetbrains.packagesearch.plugin.ui
/
PackageSearchMetrics
/
searchBarHeight
search
Bar
Height
val
searchBarHeight
:
Dp