/// <summary> /// Sets the language option. /// </summary> /// <param name="richTextBox">The rich text box.</param> /// <param name="value">The value.</param> public static void SetLanguageOption(this RichTextBox richTextBox, RichTextBoxLanguageOptions value) { if (richTextBox.InvokeRequired) { richTextBox.BeginInvoke(new MethodInvoker(() => richTextBox.SetLanguageOption(value))); } else { richTextBox.LanguageOption = value; richTextBox.Refresh(); } }
public RichTextBox() { accepts_return = true; auto_size = false; auto_word_select = false; bullet_indent = 0; base.MaxLength = Int32.MaxValue; margin_right = 0; zoom = 1; base.Multiline = true; document.CRLFSize = 1; shortcuts_enabled = true; base.EnableLinks = true; richtext = true; rtf_style = new RtfSectionStyle (); rtf_section_stack = null; scrollbars = RichTextBoxScrollBars.Both; alignment = HorizontalAlignment.Left; LostFocus += new EventHandler(RichTextBox_LostFocus); GotFocus += new EventHandler(RichTextBox_GotFocus); BackColor = ThemeEngine.Current.ColorWindow; backcolor_set = false; language_option = RichTextBoxLanguageOptions.AutoFontSizeAdjust; rich_text_shortcuts_enabled = true; selection_back_color = DefaultBackColor; ForeColor = ThemeEngine.Current.ColorWindowText; base.HScrolled += new EventHandler(RichTextBox_HScrolled); base.VScrolled += new EventHandler(RichTextBox_VScrolled); SetStyle (ControlStyles.StandardDoubleClick, false); }