internal void RemovedDerivedOptions(EditorOptions derived)
{
foreach (var weakRef in DerivedEditorOptions)
{
if (weakRef.Target == derived)
{
DerivedEditorOptions.Remove(weakRef);
break;
}
}
}
