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