void Options_OptionChanged(object?sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultWpfViewOptions.EnableHighlightCurrentLineName) { UpdateEnableState(); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewHostOptions.HorizontalScrollBarName) { UpdateVisibility(); } }
void Options_OptionChanged(object?sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultDsTextViewOptions.ReferenceHighlightingName) { UpdateReferenceHighlighting(); } }
void Options_OptionChanged(object?sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultDsTextViewOptions.CompressEmptyOrWhitespaceLinesName || e.OptionId == DefaultDsTextViewOptions.CompressNonLetterLinesName) { InitializeOptions(true); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultDnSpyOptions.IndentStyleOptionId.Name) { CleanUp(); } }
void EditorOptions_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultWpfViewOptions.EnableHighlightCurrentLineId.Name) { textEditorSettings.HighlightCurrentLine = globalOptions.IsHighlightCurrentLineEnabled(); } else if (e.OptionId == DefaultWpfViewOptions.ZoomLevelId.Name) { textEditorSettings.TextViewZoomLevel = globalOptions.ZoomLevel(); } else if (e.OptionId == DefaultDnSpyWpfViewOptions.ForceClearTypeIfNeededId.Name) { textEditorSettings.ForceClearTypeIfNeeded = globalOptions.IsForceClearTypeIfNeededEnabled(); } else if (e.OptionId == DefaultTextViewHostOptions.LineNumberMarginId.Name) { textEditorSettings.ShowLineNumbers = globalOptions.IsLineNumberMarginEnabled(); } else if (e.OptionId == DefaultTextViewOptions.WordWrapStyleId.Name) { textEditorSettings.WordWrapStyle = globalOptions.WordWrapStyle(); } else if (e.OptionId == DefaultOptions.ConvertTabsToSpacesOptionId.Name) { textEditorSettings.ConvertTabsToSpaces = globalOptions.IsConvertTabsToSpacesEnabled(); } else if (e.OptionId == DefaultDnSpyTextViewOptions.ReferenceHighlightingId.Name) { textEditorSettings.HighlightReferences = globalOptions.IsReferenceHighlightingEnabled(); } }
void EditorOptions_OptionChanged(object sender, EditorOptionChangedEventArgs e) { UpdateOption(e.OptionId); if (e.OptionId == DefaultTextViewOptions.WordWrapStyleId.Name) { if ((Options.WordWrapStyle() & WordWrapStyles.WordWrap) != 0) { ViewportLeft = 0; } InvalidateFormattedLineSource(true); } else if (e.OptionId == DefaultOptions.TabSizeOptionId.Name) { InvalidateFormattedLineSource(true); } else if (e.OptionId == DefaultDnSpyTextViewOptions.RefreshScreenOnChangeId.Name) { if (!Options.IsRefreshScreenOnChangeEnabled()) { StopRefreshTimer(); } } else if (e.OptionId == DefaultDnSpyTextViewOptions.EnableColorizationId.Name) { InvalidateFormattedLineSource(true); } else if (e.OptionId == DefaultDnSpyTextViewOptions.RemoveExtraTextLineVerticalPixelsId.Name) { UpdateRemoveExtraTextLineVerticalPixels(); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultReplEditorOptions.RefreshScreenOnChangeName) { UpdateRefreshScreenOnChange(); } }
private void OnOptionChanged(object sender, EditorOptionChangedEventArgs e) { var wasMarginEnabled = _isMarginEnabled; _isMarginEnabled = _textView.Options.GetOptionValue(DocumentMarkScrollbarMarkersEnabledOption.OptionKey); try { _optionsChanging = true; Visibility = Enabled ? Visibility.Visible : Visibility.Collapsed; } finally { _optionsChanging = false; } var refreshed = UpdateEventHandlers(true); //If the UpdateEventHandlers call above didn't initiate a search then we need to force the adornments and the margin to update //to update if they were turned on/off. if (!refreshed) { if (wasMarginEnabled != _isMarginEnabled) { InvalidateVisual(); } } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewOptions.WordWrapStyleName) { UpdateCachedState(); } }
private void OnOptionsChanged(object sender, EditorOptionChangedEventArgs e) { this.layer.RemoveAllAdornments(); var bufferPos = GetPosition(this.view.Caret.Position.BufferPosition); RedrawVisuals(bufferPos, forceRedraw: true); }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultWpfViewOptions.AppearanceCategoryName) { UpdateAppearanceMap(); } }
void GlobalOptions_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (EditorToIdeMapping.TryGetValue(e.OptionId, out var updater)) { updater(globalOptions.GetOptionValue(e.OptionId)); } }
void Options_OptionChanged(object?sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewHostOptions.GlyphMarginName) { UpdateVisibility(); } }
void Options_OptionChanged(object?sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultDsTextViewOptions.LineSeparatorsName) { UpdateLineSeparator(); } }
private void HandleOptionChanged(object sender, EditorOptionChangedEventArgs e) { if (!_isDisposed && e.OptionId == GitDiffMarginTextViewOptions.DiffMarginName) { UpdateVisibility(); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewHostOptions.IsInContrastModeName) { UpdateIsInContrastModeOption(); } }
protected void OnOptionsChanged(object sender, EditorOptionChangedEventArgs e) { // Note there is NOT an option for OverviewMarginEnabled. This is because if the overview margin // has no children, it is inactive. var options = base.TextViewHost.TextView.Options; if (DefaultOverviewMarginOptions.ExpandElisionsInOverviewMarginId.Name.Equals(e.OptionId)) { _scrollBar.UseElidedCoordinates = !options.GetOptionValue(DefaultOverviewMarginOptions.ExpandElisionsInOverviewMarginId); //This will generate a track changed event, invalidating the view. } else if (DefaultOverviewMarginOptions.PreviewSizeId.Name.Equals(e.OptionId)) { if (_tipFactories != null) { if (options.GetOptionValue(DefaultOverviewMarginOptions.PreviewSizeId) != 0) { if ((_tipFactories.Count == 0) || (_tipFactories[_tipFactories.Count - 1] != this)) { _tipFactories.Add(this); } } else { if ((_tipFactories.Count > 0) && (_tipFactories[_tipFactories.Count - 1] == this)) { _tipFactories.RemoveAt(_tipFactories.Count - 1); } } } } // TODO: handle margin show/hide status -> (Un)RegisterEvents() }
protected void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == appearanceCategoryName) { UpdateAppearanceMap(); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultWpfViewOptions.UseReducedOpacityForHighContrastOptionName) { UpdateUseReducedOpacityForHighContrastOption(); } }
void GlobalOptions_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewOptions.UseVisibleWhitespaceName) { this.Set(Convert(editorPreferences.globalOptions.GetOptionValue <DefaultTextViewOptions.IncludeWhitespaces> (DefaultTextViewOptions.UseVisibleWhitespaceName))); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultDsTextViewOptions.HighlightRelatedKeywordsName) { IsEnabled = documentViewer.TextView.Options.IsHighlightRelatedKeywordsEnabled(); IsEnabledChanged?.Invoke(this, EventArgs.Empty); } }
/// <summary> /// Handle changes in Tools > Options for TimeStampMargin /// </summary> private void OnOptionChanged(object sender, EditorOptionChangedEventArgs e) { if ((e.OptionId == TimeStampMarginShowMilliseconds.StaticName) || (e.OptionId == TimeStampMarginShowHours.StaticName)) { this.SetFontFromClassification(); } }
void Options_OptionChanged(object?sender, EditorOptionChangedEventArgs e) { if (textView.IsClosed) { return; } owner.OptionChanged(textView, e); }
private void OnOptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == OptionsKeys.TextMarkerForegroundColor.Name || e.OptionId == OptionsKeys.TextMarkerBackgroundColor.Name) { ReloadOptions(); FireTagsChanged(); } }
private void OnOptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewHostOptions.LineNumberMarginName) { HideVSLineNumbers(); ApplyNumbers(); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (wpfTextView.IsClosed) return; if (e.OptionId == DefaultTextViewOptions.ShowBlockStructureName) UpdateEnabled(); else if (enabled && e.OptionId == DefaultDsTextViewOptions.BlockStructureLineKindName) RefreshLinesAndColorInfos(); }
private void OnEditorOptionsChanged(EditorOptionChangedEventArgs eventArgs) { SetVisualStudioMarginVisibility(Visibility.Hidden); if (Enabled) { RedrawLines(); } }
private void OnOptionChanged(object sender, EditorOptionChangedEventArgs e) { bool mapMode = _textView.Options.GetOptionValue(DefaultTextViewHostOptions.ShowEnhancedScrollBarOptionId); _enabled = mapMode && _textView.Options.GetOptionValue(StructureMarginEnabledOption.OptionKey); _previewEnabled = mapMode && _textView.Options.GetOptionValue(DefaultTextViewHostOptions.ShowPreviewOptionId) && _textView.Options.GetOptionValue(StructurePreviewEnabledOption.OptionKey); this.Visibility = _enabled ? Visibility.Visible : Visibility.Collapsed; }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewHostOptions.ZoomControlName || e.OptionId == DefaultTextViewHostOptions.HorizontalScrollBarName) UpdateVisibility(); else if (!Enabled) { // Ignore all other options } else if (e.OptionId == DefaultWpfViewOptions.ZoomLevelName) UpdateTextWithZoomLevel(); }
private void OnEditorOptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId != DefaultTextViewOptions.UseVisibleWhitespaceId.Name) { return; } UpdateAdorningState(); }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewHostOptions.LineNumberMarginName) UpdateVisibility(); else if (!Enabled) { // Ignore all other options when it's disabled } else if (e.OptionId == DefaultDsWpfViewOptions.ForceClearTypeIfNeededName) { UpdateForceClearTypeIfNeeded(); OnTextPropertiesChanged(); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewHostOptions.HorizontalScrollBarName) UpdateVisibility(); else if (!Enabled) { // Ignore any other options } else if (e.OptionId == DefaultTextViewOptions.WordWrapStyleName) { IsEnabled = !IsWordWrap; UpdateMaximum(); } }
private void OnTextViewOptionChanged(object sender, EditorOptionChangedEventArgs e) { switch (e.OptionId) { case DefaultOptions.ConvertTabsToSpacesOptionName: OnConvertTabsToSpacesOptionChanged(); break; case DefaultOptions.IndentSizeOptionName: OnIndentSizeOptionChanged(); break; } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultWpfViewOptions.UseReducedOpacityForHighContrastOptionName) UpdateUseReducedOpacityForHighContrastOption(); }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewOptions.UseVirtualSpaceName) { if (Mode == TextSelectionMode.Stream && !TextView.Options.IsVirtualSpaceEnabled()) Select(new VirtualSnapshotPoint(AnchorPoint.Position), new VirtualSnapshotPoint(ActivePoint.Position)); } }
private void HandleOptionChanged(object sender, EditorOptionChangedEventArgs e) { if (_isDisposed) return; if (string.Equals(e.OptionId, GitDiffMarginTextViewOptions.DiffMarginEnabledId.Name, StringComparison.Ordinal)) { UpdateVisibility(); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewOptions.UseVirtualSpaceName) { if (currentPosition.VirtualSpaces > 0 && textView.Selection.Mode != TextSelectionMode.Box && !textView.Options.IsVirtualSpaceEnabled()) MoveTo(currentPosition.Position); } else if (e.OptionId == DefaultTextViewOptions.OverwriteModeName) textCaretLayer.OverwriteMode = textView.Options.IsOverwriteModeEnabled(); else if (e.OptionId == DefaultTextViewOptions.ViewProhibitUserInputName) { StopIME(false); InitializeIME(); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultWpfViewOptions.EnableHighlightCurrentLineName) UpdateEnableState(); }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultWpfViewOptions.UseReducedOpacityForHighContrastOptionName) { useReducedOpacityForHighContrast = TextView.Options.GetOptionValue(DefaultWpfViewOptions.UseReducedOpacityForHighContrastOptionId); if (glyphTextMarkerServiceImpl.ThemeService.Theme.IsHighContrast) RefreshExistingMarkers(); } }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultDsTextViewOptions.LineSeparatorsName) UpdateLineSeparator(); }
private void HandleOptionChanged(object sender, EditorOptionChangedEventArgs e) { if (_isDisposed) return; }
/// <summary> /// Raised when a view option changes. /// </summary> async void View_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultOptions.IndentSizeOptionId.Name) { Analysis = new DocumentAnalyzer( View.TextSnapshot, Theme.Behavior, View.Options.GetOptionValue(DefaultOptions.IndentSizeOptionId), View.Options.GetOptionValue(DefaultOptions.TabSizeOptionId) ); GuideBrushCache.Clear(); GlowEffectCache.Clear(); await AnalyzeAndUpdateAdornments(); } }
private void OnOptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == OptionsKeys.Width.Name) { this.Width = _view.Options.GetOptionValue(OptionsKeys.Width); } else if (e.OptionId == OptionsKeys.HighlightsEnabled.Name) { if (!_view.Options.GetOptionValue(OptionsKeys.HighlightsEnabled)) _tagger.Clear(); _render.Invalidate(TrackRender.MarginParts.WordHighlights); } else if (e.OptionId == OptionsKeys.MarginColor.Name) { _render.ReloadOptions(); _render.Invalidate(TrackRender.MarginParts.Marks); } else if (e.OptionId == OptionsKeys.ScrollColor.Name || e.OptionId == OptionsKeys.ThumbColor.Name) { _render.ReloadOptions(); _render.Invalidate(TrackRender.MarginParts.Scroll); } else if (e.OptionId == OptionsKeys.TextColor.Name || e.OptionId == OptionsKeys.CommentsColor.Name || e.OptionId == OptionsKeys.BackgroundColor.Name) { _render.ReloadOptions(); _render.Invalidate(TrackRender.MarginParts.Text); this.Background = Utils.CreateBrush(_view.Options.GetOptionValue(OptionsKeys.BackgroundColor)); } else if (e.OptionId == OptionsKeys.HighlightColor.Name) { _render.ReloadOptions(); _render.Invalidate(TrackRender.MarginParts.WordHighlights); } else if (e.OptionId == OptionsKeys.SavedChangeColor.Name || e.OptionId == OptionsKeys.UnsavedChangeColor.Name) { _render.ReloadOptions(); _render.Invalidate(TrackRender.MarginParts.Changes); } else if (e.OptionId == OptionsKeys.ChangeMarginEnabled.Name) { _render.Invalidate(TrackRender.MarginParts.Changes | TrackRender.MarginParts.Text); } else if (e.OptionId == OptionsKeys.EnhancedTextRendering.Name) { _render.Invalidate(TrackRender.MarginParts.Text); } }
void EditorOptions_OptionChanged(object sender, EditorOptionChangedEventArgs e) { UpdateOption(e.OptionId); if (e.OptionId == DefaultTextViewOptions.WordWrapStyleName) { if ((Options.WordWrapStyle() & WordWrapStyles.WordWrap) != 0) ViewportLeft = 0; InvalidateFormattedLineSource(true); } else if (e.OptionId == DefaultOptions.TabSizeOptionName) InvalidateFormattedLineSource(true); else if (e.OptionId == DefaultDsTextViewOptions.RefreshScreenOnChangeName) { if (!Options.IsRefreshScreenOnChangeEnabled()) StopRefreshTimer(); } else if (e.OptionId == DefaultDsTextViewOptions.EnableColorizationName) InvalidateFormattedLineSource(true); else if (e.OptionId == DefaultDsTextViewOptions.RemoveExtraTextLineVerticalPixelsName) UpdateRemoveExtraTextLineVerticalPixels(); }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewHostOptions.HorizontalScrollBarName) UpdateVisibility(); }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewHostOptions.GlyphMarginName) UpdateVisibility(); }
void OnTextViewOptionChanged(object sender, EditorOptionChangedEventArgs args) { UpdateVisibility(); }
void OnOptionsChanged(object sender, EditorOptionChangedEventArgs e) { this.Manager.CheckEmacsVskSelected(); }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultTextViewOptions.WordWrapStyleName) UpdateCachedState(); }
private void HandleOptionChanged(object sender, EditorOptionChangedEventArgs e) { if (!_isDisposed && e.OptionId == GitDiffMarginTextViewOptions.DiffMarginName) UpdateVisibility(); }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultDsOptions.IndentStyleOptionName) CleanUp(); }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultDsTextViewOptions.CompressEmptyOrWhitespaceLinesName || e.OptionId == DefaultDsTextViewOptions.CompressNonLetterLinesName) InitializeOptions(true); }
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == DefaultReplEditorOptions.RefreshScreenOnChangeName) UpdateRefreshScreenOnChange(); }
protected void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) { if (e.OptionId == appearanceCategoryName) UpdateAppearanceMap(); }