private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e) { if (e.ChangedItems.Contains(ActiveSelectionPropertiesName)) { _activeVisualToolset = CreateVisualToolset(ActiveSelectionPropertiesName, SystemColors.HighlightColor); if (_isTextViewActive) { Redraw(); } } if (e.ChangedItems.Contains(InactiveSelectionPropertiesName)) { _inactiveVisualToolset = CreateVisualToolset(InactiveSelectionPropertiesName, SystemColors.GrayTextColor); if (!_isTextViewActive) { Redraw(); } } }
void EditorFormatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) { if (e.ChangedItems.Contains(ThemeClassificationTypeNameKeys.GlyphMargin)) UpdateBackground(); }
void CategoryMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) => FormatMappingChanged?.Invoke(this, e);
/// <summary> /// Event handler that occurs when <see cref="IEditorFormatMap"/> changes. /// </summary> /// <param name="sender">Event sender.</param> /// <param name="e">Event arguments.</param> private void OnFormatMapFormatMappingChanged(object sender, FormatItemsEventArgs e) { _marginSettings.Refresh(); Redraw(true, MarginDrawReason.EditorFormatMapChanged); }
private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e) { ProgressiveScroll.SettingsChanged(); }
void EditorFormatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) { if ((IsActive && e.ChangedItems.Contains(ThemeClassificationTypeNameKeys.SelectedText)) || (!IsActive && e.ChangedItems.Contains(ThemeClassificationTypeNameKeys.InactiveSelectedText))) { UpdateBackgroundBrush(); } }
private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e) { UpdateTextColor(); }
private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e) { this.ClassColoring = new Coloring(_formatMap, BlockStructureClassColorFormat.Name, BlockStructureToolTipClassColorFormat.Name, _width); this.ConditionalColoring = new Coloring(_formatMap, BlockStructureConditionalColorFormat.Name, BlockStructureToolTipConditionalColorFormat.Name, _width); this.LoopColoring = new Coloring(_formatMap, BlockStructureLoopColorFormat.Name, BlockStructureToolTipLoopColorFormat.Name, _width); this.MethodColoring = new Coloring(_formatMap, BlockStructureMethodColorFormat.Name, BlockStructureToolTipMethodColorFormat.Name, _width); this.MethodSeparatorAndHighlightColoring = new Coloring(_formatMap, MethodSeparatorColorFormat.Name, ScrollBarMethodHighlightColorFormat.Name, _width, 0.25); this.UnknownColoring = new Coloring(_formatMap, BlockStructureUnknownColorFormat.Name, BlockStructureToolTipUnknownColorFormat.Name, _width); EventHandler changed = this.Changed; if (changed != null) { changed(this, new EventArgs()); } }
private void FormatMappingChanged(object sender, FormatItemsEventArgs e) { GuidelineBrush = GetGuidelineBrushFromFontsAndColors(); }
/// <summary> /// Event handler that occurs when <see cref="IEditorFormatMap"/> changes. /// </summary> /// <param name="sender">Event sender.</param> /// <param name="e">Event arguments.</param> private void OnFormatMapFormatMappingChanged(object sender, FormatItemsEventArgs e) { _marginSettings.Refresh(); Redraw(true, MarginDrawReason.EditorFormatMapChanged); }
private void OnEditorFormatMapChanged(object sender, FormatItemsEventArgs e) { this.RaiseChanged(); }
void EditorFormatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) { if (e.ChangedItems.Contains(ThemeClassificationTypeNameKeys.LineSeparator)) UpdateLineSeparatorBrush(); }
private void _formatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) { updateBrushes(); updateAdornments(true); }
void EditorFormatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) { if (TextView.IsClosed) return; if (markerElements.Count == 0) return; bool refresh = false; if (e.ChangedItems.Count > 50) refresh = true; if (!refresh) { var hash = new HashSet<string>(StringComparer.Ordinal); foreach (var elem in markerElements) { hash.Add(elem.Type); if (elem.SelectedType != null) hash.Add(elem.SelectedType); } foreach (var s in e.ChangedItems) { if (hash.Contains(s)) { refresh = true; break; } } } if (refresh) RefreshExistingMarkers(); }
void CategoryMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) => FormatMappingChanged?.Invoke(this, e);
void EditorFormatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) { if ((isActive && e.ChangedItems.Contains(ThemeClassificationTypeNameKeys.CurrentLine)) || (!isActive && e.ChangedItems.Contains(ThemeClassificationTypeNameKeys.CurrentLineNoFocus))) { UpdateLineElementBrushes(); } }
void OnFormatMappingChanged(object sender, FormatItemsEventArgs e) { }
private void OnEditorFormatMapChanged(object sender, FormatItemsEventArgs e) { this.RaiseChanged(); }
private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e) { if (e.ChangedItems.Contains("Indicator Margin")) { UpdateBackgroundColor(); } }
private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e) { _marginMatchBrush = this.GetBrush(MatchColorFormat.Name, EditorFormatDefinition.ForegroundBrushId); _adornmentMatchBrush = this.GetBrush(MatchColorFormat.Name, EditorFormatDefinition.BackgroundBrushId); }
void EditorFormatMap_FormatMappingChanged(object?sender, FormatItemsEventArgs e) { ReinitializeCache(); ClassificationFormatMappingChanged?.Invoke(this, EventArgs.Empty); }
private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e) { UpdateTextColor(); }
private void HandleFormatMappingChanged(object sender, FormatItemsEventArgs e) { if (e.ChangedItems.Contains(DiffFormatNames.Addition) || e.ChangedItems.Contains(DiffFormatNames.Modification) || e.ChangedItems.Contains(DiffFormatNames.Removed)) { UpdateBrushes(); } }
void EditorFormatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) { if (e.ChangedItems.Contains(EditorFormatMapConstants.TextViewBackgroundId)) UpdateBackground(); }