@@ -73,15 +73,6 @@ public void AddGlyph(TGlyphTag tag, SnapshotSpan span)
7373 element . Height = startingLine . TextHeight + 1 ; // HACK: +1 to fill gaps
7474 data . SetTop ( startingLine . TextTop - textView . ViewportTop ) ;
7575
76- // draw where line is
77- //element.Height = startingLine.Height;
78- //data.SetTop(startingLine.Top - textView.ViewportTop);
79-
80- // center on margin
81- //element.Measure(new Size(double.PositiveInfinity, double.PositiveInfinity));
82- //double length = (17.0 - element.DesiredSize.Width) / 2.0;
83- //Canvas.SetLeft(element, length);
84-
8576 glyphs [ element ] = data ;
8677 visuals [ glyphType ] . Children . Add ( element ) ;
8778 }
@@ -199,28 +190,6 @@ void UpdateBackgroundColor()
199190 var backgroundColor = ( Color ) properties [ "BackgroundColor" ] ;
200191 ImageThemingUtilities . SetImageBackgroundColor ( glyphMarginGrid , backgroundColor ) ;
201192 }
202-
203- // set background color for margin
204- //var properties = editorFormatMap.GetProperties(marginPropertiesName);
205- //if (properties.Contains("BackgroundColor"))
206- //{
207- // glyphMarginGrid.Background = new SolidColorBrush((Color)properties["BackgroundColor"]);
208- // glyphMarginGrid.Background.Freeze();
209- //}
210- //else if (properties.Contains("Background"))
211- //{
212- // glyphMarginGrid.Background = (Brush)properties["Background"];
213- //}
214- //else
215- //{
216- // glyphMarginGrid.Background = Brushes.Transparent;
217- //}
218-
219- //var background = glyphMarginGrid.Background as SolidColorBrush;
220- //if (background != null)
221- //{
222- // ImageThemingUtilities.SetImageBackgroundColor(glyphMarginGrid, background.Color);
223- //}
224193 }
225194 }
226195}
0 commit comments