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