toggle menu
plugin
2023.10.314
jvm
switch theme
search in API
plugin
/
com.jetbrains.packagesearch.plugin.inspections
/
PackageUpdateInspection
/
getOptionsPane
get
Options
Pane
open
override
fun
getOptionsPane
(
)
:
OptPane