public void SetEditor(EditorOptions editor)
{
if (_editor != null)
{
_editor.PropertyChanged -= OnEditorPropertyChanged;
}
_editor = editor;
_editor.PropertyChanged += OnEditorPropertyChanged;
Command.EditorWordWrap.Sync();
Command.EditorDisplayLineNumbers.Sync();
Command.EditorDisplaySymbols.Sync();
EditorSettingsChanged.Raise(this, "");
}
public void OnEditorPropertyChanged(object sender, PropertyChangedEventArgs e)
{
EditorSettingsChanged.Raise(this, e.PropertyName);
}
