bool UpdateAccessibilityTimer()
{
updateAccessibilityId = 0;
if (accessibles == null)
{
accessibles = new Dictionary <FoldSegment, FoldingAccessible> ();
}
foreach (var a in accessibles.Values)
{
Accessible.RemoveAccessibleChild(a.Accessible);
a.Dispose();
}
accessibles.Clear();
// Add any folds
var segments = editor.Document.FoldSegments;
foreach (var f in segments)
{
var accessible = new FoldingAccessible(f, this, editor);
accessibles [f] = accessible;
Accessible.AddAccessibleChild(accessible.Accessible);
}
return(false);
}
void UpdateAccessibility()
{
if (!IdeTheme.AccessibilityEnabled)
{
return;
}
if (accessibles == null)
{
accessibles = new Dictionary <FoldSegment, FoldingAccessible> ();
}
foreach (var a in accessibles.Values)
{
Accessible.RemoveAccessibleChild(a.Accessible);
a.Dispose();
}
accessibles.Clear();
// Add any folds
var segments = editor.Document.FoldSegments;
foreach (var f in segments)
{
var accessible = new FoldingAccessible(f, this, editor);
accessibles [f] = accessible;
Accessible.AddAccessibleChild(accessible.Accessible);
}
}
internal DockNotebookTab(DockNotebook notebook, TabStrip strip)
{
if (AccessibilityElementProxy.Enabled)
{
Accessible = AccessibilityElementProxy.ButtonElementProxy();
Accessible.PerformPress += OnPressTab;
// FIXME Should Role descriptions be translated?
Accessible.SetRole(AtkCocoa.Roles.AXRadioButton, "tab");
Accessible.GtkParent = strip;
Accessible.PerformShowMenu += OnShowMenu;
Accessible.Identifier = "DockNotebook.Tab";
CloseButtonAccessible = AccessibilityElementProxy.ButtonElementProxy();
CloseButtonAccessible.PerformPress += OnPressCloseButton;
CloseButtonAccessible.SetRole(AtkCocoa.Roles.AXButton);
CloseButtonAccessible.GtkParent = strip;
CloseButtonAccessible.PerformShowMenu += OnCloseButtonShowMenu;
CloseButtonAccessible.Title = Core.GettextCatalog.GetString("Close document");
CloseButtonAccessible.Identifier = "DockNotebook.Tab.CloseButton";
Accessible.AddAccessibleChild(CloseButtonAccessible);
}
this.notebook = notebook;
this.strip = strip;
}
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;
}