예제 #1
0
 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, "");
 }
예제 #2
0
 public void OnEditorPropertyChanged(object sender, PropertyChangedEventArgs e)
 {
     EditorSettingsChanged.Raise(this, e.PropertyName);
 }