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