/// <summary>
/// Change SelectionCharOffset to OFFSET respectively 0 if already set.
/// </summary>
public void SelectionSubScript()
{
//const int OFFSET = -2;
//if (SelectionCharOffset != 0)
//{
// SelectionCharOffset = 0;
// SelectionFont = new Font(SelectionFont.FontFamily, SelectionFont.Size - OFFSET,
// SelectionFont.Style);
//}
//else
//{
// SelectionCharOffset = OFFSET;
// SelectionFont = new Font(SelectionFont.FontFamily, SelectionFont.Size + OFFSET,
// SelectionFont.Style);
//}
RichTextBoxModel.SetSelectionEffect(GetContext(), DevAge.Windows.Forms.EffectType.Subscript);
}
/// <summary>
/// Change SelectionCharOffset to OFFSET respectively 0 if already set.
/// </summary>
public void SelectionNormal()
{
RichTextBoxModel.SetSelectionEffect(GetContext(), DevAge.Windows.Forms.EffectType.Normal);
}
