Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface ProblemConfiguration

Hierarchy

  • ProblemConfiguration

Index

Properties

problems.autoReveal: boolean
problems.decorations.enabled: boolean
problems.decorations.tabbar.enabled: boolean