public MediaPositionSliderEndHighlightElement(MediaPositionSlider parent,
                                                      Highlight highlight, Brush brush, double renderThickness) : base(parent, brush)
        {
            this.renderThickness = renderThickness;
            Highlight            = highlight;

            Highlight.EndChanged += Highlight_EndChanged;
        }
        public MediaPositionSliderHighlightElementsList(MediaPositionSlider parent, HighlightCollection highlights)
        {
            this.parent = parent;

            begins = new Dictionary <Highlight, MediaPositionSliderHighlightElement>();
            ends   = new Dictionary <Highlight, MediaPositionSliderEndHighlightElement>();

            SetDictionaries(highlights);

            highlights.CollectionChanged += Highlights_CollectionChanged;
        }
Ejemplo n.º 3
0
 public MediaPositionSliderUnproceededElement(MediaPositionSlider parent,
                                              Brush brush, double renderThickness) : base(parent, brush)
 {
     this.renderThickness = renderThickness;
 }
Ejemplo n.º 4
0
 public MediaPositionSliderElement(MediaPositionSlider parent, Brush brush)
 {
     this.parent = parent;
     this.brush  = brush;
 }
Ejemplo n.º 5
0
 public MediaPositionSliderElement(MediaPositionSlider parent) : this(parent, Brushes.Black)
 {
 }