// Token: 0x06007CEE RID: 31982 RVA: 0x0023269C File Offset: 0x0023089C private static void OnSelectionChanged(object sender, EventArgs args) { ITextRange textRange = sender as ITextRange; MarkedHighlightComponent.ComponentsRegister componentsRegister = (MarkedHighlightComponent.ComponentsRegister)MarkedHighlightComponent._documentHandlers[textRange]; if (componentsRegister == null) { return; } List <MarkedHighlightComponent> components = componentsRegister.Components; bool[] array = new bool[components.Count]; for (int i = 0; i < components.Count; i++) { array[i] = components[i].HighlightAnchor.IsSelected(textRange); if (!array[i]) { components[i].SetSelected(false); } } for (int j = 0; j < components.Count; j++) { if (array[j]) { components[j].SetSelected(true); } } }
// Token: 0x06007CE5 RID: 31973 RVA: 0x00232268 File Offset: 0x00230468 private void UnregisterComponent() { MarkedHighlightComponent.ComponentsRegister componentsRegister = (MarkedHighlightComponent.ComponentsRegister)MarkedHighlightComponent._documentHandlers[this._selection]; componentsRegister.Remove(this); if (componentsRegister.Components.Count == 0) { MarkedHighlightComponent._documentHandlers.Remove(this._selection); this._selection.Changed -= componentsRegister.SelectionHandler; if (this._uiParent != null) { this._uiParent.MouseMove -= componentsRegister.MouseMoveHandler; } } }
// Token: 0x06007CE4 RID: 31972 RVA: 0x002321E0 File Offset: 0x002303E0 private void RegisterComponent() { MarkedHighlightComponent.ComponentsRegister componentsRegister = (MarkedHighlightComponent.ComponentsRegister)MarkedHighlightComponent._documentHandlers[this._selection]; if (componentsRegister == null) { componentsRegister = new MarkedHighlightComponent.ComponentsRegister(new EventHandler(MarkedHighlightComponent.OnSelectionChanged), new MouseEventHandler(MarkedHighlightComponent.OnMouseMove)); MarkedHighlightComponent._documentHandlers.Add(this._selection, componentsRegister); this._selection.Changed += componentsRegister.SelectionHandler; if (this._uiParent != null) { this._uiParent.MouseMove += componentsRegister.MouseMoveHandler; } } componentsRegister.Add(this); }
// Token: 0x06007CF0 RID: 31984 RVA: 0x002327A4 File Offset: 0x002309A4 private static void CheckAllHighlightRanges(ITextPointer pos) { ITextContainer textContainer = pos.TextContainer; ITextRange textSelection = textContainer.TextSelection; if (textSelection == null) { return; } MarkedHighlightComponent.ComponentsRegister componentsRegister = (MarkedHighlightComponent.ComponentsRegister)MarkedHighlightComponent._documentHandlers[textSelection]; if (componentsRegister == null) { return; } List <MarkedHighlightComponent> components = componentsRegister.Components; for (int i = 0; i < components.Count; i++) { components[i].CheckPosition(pos); } }