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 OnOptionChanged(object sender, EditorOptionChangedEventArgs e)
{
if (e.OptionId == DefaultTextViewHostOptions.LineNumberMarginName)
{
HideVSLineNumbers();
ApplyNumbers();
}
}
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();
}
}
void Options_OptionChanged(object sender, EditorOptionChangedEventArgs e) {
if (e.OptionId == DefaultDsTextViewOptions.HighlightRelatedKeywordsName) {
IsEnabled = documentViewer.TextView.Options.IsHighlightRelatedKeywordsEnabled();
IsEnabledChanged?.Invoke(this, EventArgs.Empty);
}
}
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();
}
