toggle menu
plugin
2023.10.320
jvm
switch theme
search in API
plugin
/
com.jetbrains.packagesearch.plugin.services
/
PackageSearchProjectService
/
restart
restart
fun
restart
(
)