void OnMarkerAdded(object sender, TextMarkerEvent e)
{
lock (markerToAccessible) {
var proxy = new AccessibilityMarkerProxy(e.TextMarker, editor, this);
Accessible.AddAccessibleChild(proxy.Accessible);
markerToAccessible [e.TextMarker] = proxy;
}
if (focusMarkers != null)
{
UpdateMarkers();
}
}
void OnMarkerAdded(object sender, TextMarkerEvent e)
{
if (!IdeTheme.AccessibilityEnabled)
{
return;
}
if (markerToAccessible == null)
{
markerToAccessible = new Dictionary <TextLineMarker, AccessibilityMarkerProxy> ();
}
var proxy = new AccessibilityMarkerProxy(e.TextMarker, editor, this);
Accessible.AddAccessibleChild(proxy.Accessible);
markerToAccessible [e.TextMarker] = proxy;
}
