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();
                }
            }
        }
Ejemplo n.º 2
0
		void EditorFormatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) {
			if (e.ChangedItems.Contains(ThemeClassificationTypeNameKeys.GlyphMargin))
				UpdateBackground();
		}
Ejemplo n.º 3
0
		void CategoryMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) =>
			FormatMappingChanged?.Invoke(this, e);
Ejemplo n.º 4
0
 /// <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);
 }
Ejemplo n.º 5
0
		private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e)
		{
			ProgressiveScroll.SettingsChanged();
		}
Ejemplo n.º 6
0
		void EditorFormatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) {
			if ((IsActive && e.ChangedItems.Contains(ThemeClassificationTypeNameKeys.SelectedText)) ||
				(!IsActive && e.ChangedItems.Contains(ThemeClassificationTypeNameKeys.InactiveSelectedText))) {
				UpdateBackgroundBrush();
			}
		}
Ejemplo n.º 7
0
 private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e)
 {
     UpdateTextColor();
 }
Ejemplo n.º 8
0
        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());
            }
        }
Ejemplo n.º 9
0
 private void FormatMappingChanged(object sender, FormatItemsEventArgs e)
 {
     GuidelineBrush = GetGuidelineBrushFromFontsAndColors();
 }
Ejemplo n.º 10
0
 /// <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();
 }
Ejemplo n.º 12
0
		void EditorFormatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) {
			if (e.ChangedItems.Contains(ThemeClassificationTypeNameKeys.LineSeparator))
				UpdateLineSeparatorBrush();
		}
Ejemplo n.º 13
0
 private void _formatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e)
 {
     updateBrushes();
     updateAdornments(true);
 }
Ejemplo n.º 14
0
		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();
		}
Ejemplo n.º 15
0
 void CategoryMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) =>
 FormatMappingChanged?.Invoke(this, e);
Ejemplo n.º 16
0
		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) {
     
 }
Ejemplo n.º 18
0
 private void OnEditorFormatMapChanged(object sender, FormatItemsEventArgs e)
 {
     this.RaiseChanged();
 }
Ejemplo n.º 19
0
 private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e)
 {
     if (e.ChangedItems.Contains("Indicator Margin")) {
         UpdateBackgroundColor();
     }
 }
Ejemplo n.º 20
0
 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);
 }
Ejemplo n.º 22
0
 private void OnFormatMappingChanged(object sender, FormatItemsEventArgs e)
 {
     UpdateTextColor();
 }
Ejemplo n.º 23
0
 private void HandleFormatMappingChanged(object sender, FormatItemsEventArgs e)
 {
     if (e.ChangedItems.Contains(DiffFormatNames.Addition)
         || e.ChangedItems.Contains(DiffFormatNames.Modification)
         || e.ChangedItems.Contains(DiffFormatNames.Removed))
     {
         UpdateBrushes();
     }
 }
Ejemplo n.º 24
0
		void EditorFormatMap_FormatMappingChanged(object sender, FormatItemsEventArgs e) {
			if (e.ChangedItems.Contains(EditorFormatMapConstants.TextViewBackgroundId))
				UpdateBackground();
		}