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