toggle menu
plugin
2023.10.0-SNAPSHOT
jvm
switch theme
search in API
plugin
/
com.jetbrains.packagesearch.plugin.inspections
/
PackageSearchInspection
/
getDefaultLevel
get
Default
Level
open
override
fun
getDefaultLevel
(
)
:
HighlightDisplayLevel