public DefaultWorkspaceEditorSettingsFactory(EditorSettingsManager editorSettingsManager) { if (editorSettingsManager is null) { throw new ArgumentNullException(nameof(editorSettingsManager)); } _editorSettingsManager = editorSettingsManager; }
public DefaultWorkspaceEditorSettings(EditorSettingsManager editorSettingsManager) { if (editorSettingsManager is null) { throw new ArgumentNullException(nameof(editorSettingsManager)); } _editorSettingsManager = editorSettingsManager; _onChanged = OnChanged; }
public DefaultWorkspaceEditorSettingsFactory(ForegroundDispatcher foregroundDispatcher, EditorSettingsManager editorSettingsManager) { if (foregroundDispatcher == null) { throw new ArgumentNullException(nameof(foregroundDispatcher)); } if (editorSettingsManager == null) { throw new ArgumentNullException(nameof(editorSettingsManager)); } _foregroundDispatcher = foregroundDispatcher; _editorSettingsManager = editorSettingsManager; }
public DefaultWorkspaceEditorSettingsFactory(ProjectSnapshotManagerDispatcher projectSnapshotManagerDispatcher, EditorSettingsManager editorSettingsManager) { if (projectSnapshotManagerDispatcher == null) { throw new ArgumentNullException(nameof(projectSnapshotManagerDispatcher)); } if (editorSettingsManager == null) { throw new ArgumentNullException(nameof(editorSettingsManager)); } _projectSnapshotManagerDispatcher = projectSnapshotManagerDispatcher; _editorSettingsManager = editorSettingsManager; }
public override void Initialize(EditorSettingsManager editorSettingsManager) { Initialized = true; }