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