Options
All
  • Public
  • Public/Protected
  • All
Menu

Module markers

Index

References

Namespaces

Classes

Interfaces

Type aliases

Properties

Variables

Functions

References

MarkerCollection

Re-exports MarkerCollection

MarkerManager

Re-exports MarkerManager

Owner2MarkerEntry

Re-exports Owner2MarkerEntry

ProblemManager

Re-exports ProblemManager

ProblemStat

Re-exports ProblemStat

SearchFilter

Re-exports SearchFilter

Uri2MarkerEntry

Re-exports Uri2MarkerEntry

Type aliases

ProblemPreferences

ProblemPreferences: PreferenceProxy<ProblemConfiguration>

Properties

default

default: ContainerModule

Variables

Const MarkerOptions

MarkerOptions: typeof MarkerOptions = ...

Const PROBLEMS_CONTEXT_MENU

PROBLEMS_CONTEXT_MENU: MenuPath = ...

Const PROBLEMS_WIDGET_ID

PROBLEMS_WIDGET_ID: "problems" = 'problems'

Const PROBLEM_KIND

PROBLEM_KIND: "problem" = 'problem'

Const PROBLEM_OPTIONS

PROBLEM_OPTIONS: MarkerOptions = ...

Const PROBLEM_TREE_PROPS

PROBLEM_TREE_PROPS: TreeProps = ...

Const ProblemConfigSchema

ProblemConfigSchema: PreferenceSchema = ...

Const ProblemPreferenceContribution

ProblemPreferenceContribution: typeof ProblemPreferenceContribution = ...

Const ProblemPreferences

ProblemPreferences: typeof ProblemPreferences = ...

Functions

Const bindProblemPreferences

  • bindProblemPreferences(bind: Bind): void

createProblemPreferences

  • createProblemPreferences(preferences: PreferenceService, schema?: PreferenceSchema): ProblemPreferences

createProblemTreeContainer

  • createProblemTreeContainer(parent: interfaces.Container): Container

createProblemWidget

  • createProblemWidget(parent: interfaces.Container): ProblemWidget