idea-plugin / arrow.meta.ide.plugins.proofs.folding
Package arrow.meta.ide.plugins.proofs.folding
Extensions for External Classes
| org.jetbrains.kotlin.psi.KtTypeReference |
Properties
| codeFolding | val IdeMetaPlugin.codeFolding: ExtensionPhase |
| codeFoldingOnKinds | val IdeMetaPlugin.codeFoldingOnKinds: ExtensionPhase |
| codeFoldingOnTuples | val IdeMetaPlugin.codeFoldingOnTuples: ExtensionPhase |
| codeFoldingOnUnions | val IdeMetaPlugin.codeFoldingOnUnions: ExtensionPhase |
| foldingCaretListener | val IdeMetaPlugin.foldingCaretListener: ExtensionPhase |