public CoverageEditorFormatDefinition( string identifier, IEditorFormatMapCoverageColoursManager editorFormatMapCoverageColoursManager, CoverageType coverageType) { Identifier = identifier; CoverageType = coverageType; editorFormatMapCoverageColoursManager.Register(this); }
public CoveredEditorFormatDefinition( IEditorFormatMapCoverageColoursManager editorFormatMapCoverageColoursManager ) : base(ResourceName, editorFormatMapCoverageColoursManager, CoverageType.Covered) { }