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();
}
}