private void textBoxScalingFactor_TextChanged(object sender, EventArgs e)
{
(textBoxScalingFactor.Text, textScaleFactor) = TextScaleFactorValid.Verify(textBoxScalingFactor.Text);
heightPixelsCurrent = (int)(textEditRichTextBox.Font.Size * textScaleFactor * heightTextMultiples);
groupRadioHeight_CheckedChanged(sender, e);
}
