public override void OptionsChanged() { primaryTextArea.OptionsChanged(); if (secondaryTextArea != null) { secondaryTextArea.OptionsChanged(); } }