mcs/class/Managed.Windows.Forms/System.Windows.Forms/RichTextBox.cs

   1 // Permission is hereby granted, free of charge, to any person obtaining
   2 // a copy of this software and associated documentation files (the
   3 // "Software"), to deal in the Software without restriction, including
   4 // without limitation the rights to use, copy, modify, merge, publish,
   5 // distribute, sublicense, and/or sell copies of the Software, and to
   6 // permit persons to whom the Software is furnished to do so, subject to
   7 // the following conditions:
   8 //
   9 // The above copyright notice and this permission notice shall be
  10 // included in all copies or substantial portions of the Software.
  11 //
  12 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  13 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  14 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  15 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  16 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  17 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  18 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  19 //
  20 // Copyright (c) 2005-2006 Novell, Inc. (http://www.novell.com)
  21 //
  22 // Authors:
  23 //      Peter Bartok    <pbartok@novell.com>
  24 //
  25 //
  26
  27 // #define DEBUG
  28
  29 using System;
  30 using System.Collections;
  31 using System.ComponentModel;
  32 using System.Drawing;
  33 using System.Drawing.Imaging;
  34 using System.IO;
  35 using System.Text;
  36 using System.Runtime.InteropServices;
  37 using RTF=System.Windows.Forms.RTF;
  38
  39 namespace System.Windows.Forms {
  40 #if NET_2_0
  41         [ClassInterface (ClassInterfaceType.AutoDispatch)]
  42         [Docking (DockingBehavior.Ask)]
  43         [ComVisible (true)]
  44         [Designer ("System.Windows.Forms.Design.RichTextBoxDesigner, " + Consts.AssemblySystem_Design, "System.ComponentModel.Design.IDesigner")]
  45 #endif
  46         public class RichTextBox : TextBoxBase {
  47                 #region Local Variables
  48                 internal bool           auto_word_select;
  49                 internal int            bullet_indent;
  50                 internal bool           detect_urls;
  51                 internal int            margin_right;
  52                 internal float          zoom;
  53                 private StringBuilder   rtf_line;
  54
  55                 private RtfSectionStyle rtf_style;      // Replaces individual style
  56                                                         // properties so we can revert
  57                 private Stack           rtf_section_stack;
  58
  59                 private RTF.TextMap rtf_text_map;
  60                 private int rtf_skip_width;
  61                 private int rtf_skip_count;
  62                 private int             rtf_cursor_x;
  63                 private int             rtf_cursor_y;
  64                 private int             rtf_chars;
  65
  66 #if NET_2_0
  67                 private bool            enable_auto_drag_drop;
  68                 private RichTextBoxLanguageOptions language_option;
  69                 private bool            rich_text_shortcuts_enabled;
  70                 private Color           selection_back_color;
  71 #endif
  72                 #endregion      // Local Variables
  73
  74                 #region Public Constructors
  75                 public RichTextBox() {
  76                         accepts_return = true;
  77                         auto_word_select = false;
  78                         bullet_indent = 0;
  79                         max_length = Int32.MaxValue;
  80                         margin_right = 0;
  81                         zoom = 1;
  82                         base.Multiline = true;
  83                         document.CRLFSize = 1;
  84                         shortcuts_enabled = true;
  85                         base.EnableLinks = true;
  86
  87                         rtf_style = new RtfSectionStyle ();
  88                         rtf_section_stack = null;
  89
  90                         scrollbars = RichTextBoxScrollBars.Both;
  91                         alignment = HorizontalAlignment.Left;
  92                         LostFocus += new EventHandler(RichTextBox_LostFocus);
  93                         GotFocus += new EventHandler(RichTextBox_GotFocus);
  94                         BackColor = ThemeEngine.Current.ColorWindow;
  95 #if NET_2_0
  96                         backcolor_set = false;
  97                         language_option = RichTextBoxLanguageOptions.AutoFontSizeAdjust;
  98                         rich_text_shortcuts_enabled = true;
  99                         selection_back_color = DefaultBackColor;
 100 #endif
 101                         ForeColor = ThemeEngine.Current.ColorWindowText;
 102
 103                         base.HScrolled += new EventHandler(RichTextBox_HScrolled);
 104                         base.VScrolled += new EventHandler(RichTextBox_VScrolled);
 105
 106 #if NET_2_0
 107                         SetStyle (ControlStyles.StandardDoubleClick, false);
 108 #endif
 109                 }
 110                 #endregion      // Public Constructors
 111
 112                 #region Private & Internal Methods
 113
 114                 internal override void HandleLinkClicked (LinkRectangle link)
 115                 {
 116                         OnLinkClicked (new LinkClickedEventArgs (link.LinkTag.LinkText));
 117                 }
 118
 119                 internal override Color ChangeBackColor (Color backColor)
 120                 {
 121                         if (backColor == Color.Empty) {
 122 #if NET_2_0
 123                                 backcolor_set = false;
 124                                 if (!ReadOnly) {
 125                                         backColor = SystemColors.Window;
 126                                 }
 127 #else
 128                                 backColor = SystemColors.Window;
 129 #endif
 130                         }
 131                         return backColor;
 132                 }
 133
 134                 private void RichTextBox_LostFocus(object sender, EventArgs e) {
 135                         Invalidate();
 136                 }
 137
 138                 private void RichTextBox_GotFocus(object sender, EventArgs e) {
 139                         Invalidate();
 140                 }
 141                 #endregion      // Private & Internal Methods
 142
 143                 #region Public Instance Properties
 144 #if NET_2_0
 145                 [Browsable (false)]
 146 #endif
 147                 public override bool AllowDrop {
 148                         get {
 149                                 return base.AllowDrop;
 150                         }
 151
 152                         set {
 153                                 base.AllowDrop = value;
 154                         }
 155                 }
 156
 157                 [DefaultValue(false)]
 158 #if NET_2_0
 159                 [DesignerSerializationVisibility (DesignerSerializationVisibility.Visible)]
 160                 [RefreshProperties (RefreshProperties.Repaint)]
 161                 [EditorBrowsable (EditorBrowsableState.Never)]
 162                 [Browsable (false)]
 163 #else
 164                 [Localizable(true)]
 165 #endif
 166                 public override bool AutoSize {
 167                         get {
 168                                 return auto_size;
 169                         }
 170
 171                         set {
 172                                 base.AutoSize = value;
 173                         }
 174                 }
 175
 176                 [DefaultValue(false)]
 177                 public bool AutoWordSelection {
 178                         get {
 179                                 return auto_word_select;
 180                         }
 181
 182                         set {
 183                                 auto_word_select = true;
 184                         }
 185                 }
 186
 187                 [Browsable(false)]
 188                 [EditorBrowsable(EditorBrowsableState.Never)]
 189                 public override System.Drawing.Image BackgroundImage {
 190                         get { return base.BackgroundImage; }
 191                         set { base.BackgroundImage = value; }
 192                 }
 193
 194 #if NET_2_0
 195                 [Browsable (false)]
 196                 [EditorBrowsable (EditorBrowsableState.Never)]
 197                 public override ImageLayout BackgroundImageLayout {
 198                         get { return base.BackgroundImageLayout; }
 199                         set { base.BackgroundImageLayout = value; }
 200                 }
 201 #endif
 202
 203                 [DefaultValue(0)]
 204                 [Localizable(true)]
 205                 public int BulletIndent {
 206                         get {
 207                                 return bullet_indent;
 208                         }
 209
 210                         set {
 211                                 bullet_indent = value;
 212                         }
 213                 }
 214
 215                 [Browsable(false)]
 216                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 217                 public bool CanRedo {
 218                         get {
 219                                 return document.undo.CanRedo;
 220                         }
 221                 }
 222
 223                 [DefaultValue(true)]
 224                 public bool DetectUrls {
 225                         get { return base.EnableLinks; }
 226                         set { base.EnableLinks = value; }
 227                 }
 228
 229 #if NET_2_0
 230                 [MonoTODO ("Stub")]
 231                 [DefaultValue (false)]
 232                 public bool EnableAutoDragDrop {
 233                         get { return enable_auto_drag_drop; }
 234                         set { enable_auto_drag_drop = value; }
 235                 }
 236 #endif
 237
 238                 public override Font Font {
 239                         get {
 240                                 return base.Font;
 241                         }
 242
 243                         set {
 244                                 if (font != value) {
 245                                         Line    start;
 246                                         Line    end;
 247
 248                                         if (auto_size) {
 249                                                 if (PreferredHeight != Height) {
 250                                                         Height = PreferredHeight;
 251                                                 }
 252                                         }
 253
 254                                         base.Font = value;
 255
 256                                         // Font changes always set the whole doc to that font
 257                                         start = document.GetLine(1);
 258                                         end = document.GetLine(document.Lines);
 259                                         document.FormatText(start, 1, end, end.text.Length + 1, base.Font, Color.Empty, Color.Empty, FormatSpecified.Font);
 260                                 }
 261                         }
 262                 }
 263
 264                 public override Color ForeColor {
 265                         get {
 266                                 return base.ForeColor;
 267                         }
 268
 269                         set {
 270                                 base.ForeColor = value;
 271                         }
 272                 }
 273
 274 #if NET_2_0
 275                 [MonoTODO ("Stub")]
 276                 [Browsable (false)]
 277                 [DesignerSerializationVisibility (DesignerSerializationVisibility.Hidden)]
 278                 public RichTextBoxLanguageOptions LanguageOption {
 279                         get { return language_option; }
 280                         set { language_option = value; }
 281                 }
 282 #endif
 283
 284                 [DefaultValue(Int32.MaxValue)]
 285                 public override int MaxLength {
 286                         get {
 287                                 return base.max_length;
 288                         }
 289
 290                         set {
 291                                 base.max_length = value;
 292                         }
 293                 }
 294
 295                 [DefaultValue(true)]
 296                 public override bool Multiline {
 297                         get {
 298                                 return base.Multiline;
 299                         }
 300
 301                         set {
 302                                 base.Multiline = value;
 303                         }
 304                 }
 305
 306                 [Browsable(false)]
 307                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 308                 [MonoTODO]
 309                 public string RedoActionName {
 310                         get {
 311                                 return document.undo.RedoActionName;
 312                         }
 313                 }
 314
 315 #if NET_2_0
 316                 [MonoTODO ("Stub")]
 317                 [Browsable (false)]
 318                 [DefaultValue (true)]
 319                 [EditorBrowsable (EditorBrowsableState.Never)]
 320                 public bool RichTextShortcutsEnabled {
 321                         get { return rich_text_shortcuts_enabled; }
 322                         set { rich_text_shortcuts_enabled = value; }
 323                 }
 324 #endif
 325
 326                 [DefaultValue(0)]
 327                 [Localizable(true)]
 328                 [MonoTODO("Teach TextControl.RecalculateLine to consider the right margin as well")]
 329                 public int RightMargin {
 330                         get {
 331                                 return margin_right;
 332                         }
 333
 334                         set {
 335                                 margin_right = value;
 336                         }
 337                 }
 338
 339                 [Browsable(false)]
 340                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 341 #if NET_2_0
 342                 [RefreshProperties (RefreshProperties.All)]
 343 #else
 344                 [DefaultValue("")]
 345 #endif
 346                 public string Rtf {
 347                         get {
 348                                 Line            start_line;
 349                                 Line            end_line;
 350
 351                                 start_line = document.GetLine(1);
 352                                 end_line = document.GetLine(document.Lines);
 353                                 return GenerateRTF(start_line, 0, end_line, end_line.text.Length).ToString();
 354                         }
 355
 356                         set {
 357                                 MemoryStream    data;
 358
 359                                 document.Empty();
 360                                 data = new MemoryStream(Encoding.ASCII.GetBytes(value), false);
 361
 362                                 InsertRTFFromStream(data, 0, 1);
 363
 364                                 data.Close();
 365
 366                                 Invalidate();
 367                         }
 368                 }
 369
 370                 [DefaultValue(RichTextBoxScrollBars.Both)]
 371                 [Localizable(true)]
 372                 public RichTextBoxScrollBars ScrollBars {
 373                         get {
 374                                 return scrollbars;
 375                         }
 376
 377                         set {
 378                                 if (!Enum.IsDefined (typeof (RichTextBoxScrollBars), value))
 379                                         throw new InvalidEnumArgumentException ("value", (int) value,
 380                                                 typeof (RichTextBoxScrollBars));
 381
 382                                 if (value != scrollbars) {
 383                                         scrollbars = value;
 384                                         CalculateDocument ();
 385                                 }
 386                         }
 387                 }
 388
 389                 [Browsable(false)]
 390                 [DefaultValue("")]
 391                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 392                 public string SelectedRtf {
 393                         get {
 394                                 return GenerateRTF(document.selection_start.line, document.selection_start.pos, document.selection_end.line, document.selection_end.pos).ToString();
 395                         }
 396
 397                         set {
 398                                 MemoryStream    data;
 399                                 int             x;
 400                                 int             y;
 401                                 int             sel_start;
 402                                 int             chars;
 403                                 Line            line;
 404                                 LineTag         tag;
 405
 406                                 if (document.selection_visible) {
 407                                         document.ReplaceSelection("", false);
 408                                 }
 409
 410                                 sel_start = document.LineTagToCharIndex(document.selection_start.line, document.selection_start.pos);
 411
 412                                 data = new MemoryStream(Encoding.ASCII.GetBytes(value), false);
 413                                 InsertRTFFromStream(data, document.selection_start.pos, document.selection_start.line.line_no, out x, out y, out chars);
 414                                 data.Close();
 415
 416                                 document.CharIndexToLineTag(sel_start + chars + (y - document.selection_start.line.line_no) * 2, out line, out tag, out sel_start);
 417                                 document.SetSelection(line, sel_start);
 418                                 document.PositionCaret(line, sel_start);
 419                                 document.DisplayCaret();
 420                                 ScrollToCaret();
 421                                 OnTextChanged(EventArgs.Empty);
 422                         }
 423                 }
 424
 425                 [Browsable(false)]
 426                 [DefaultValue("")]
 427                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 428                 public override string SelectedText {
 429                         get {
 430                                 return base.SelectedText;
 431                         }
 432
 433                         set {
 434                                 base.SelectedText = value;
 435                         }
 436                 }
 437
 438                 [Browsable(false)]
 439                 [DefaultValue(HorizontalAlignment.Left)]
 440                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 441                 public HorizontalAlignment SelectionAlignment {
 442                         get {
 443                                 HorizontalAlignment     align;
 444                                 Line                    start;
 445                                 Line                    end;
 446                                 Line                    line;
 447
 448                                 start = document.ParagraphStart(document.selection_start.line);
 449                                 align = start.alignment;
 450
 451                                 end = document.ParagraphEnd(document.selection_end.line);
 452
 453                                 line = start;
 454
 455                                 while (true) {
 456                                         if (line.alignment != align) {
 457                                                 return HorizontalAlignment.Left;
 458                                         }
 459
 460                                         if (line == end) {
 461                                                 break;
 462                                         }
 463                                         line = document.GetLine(line.line_no + 1);
 464                                 }
 465
 466                                 return align;
 467                         }
 468
 469                         set {
 470                                 Line                    start;
 471                                 Line                    end;
 472                                 Line                    line;
 473
 474                                 start = document.ParagraphStart(document.selection_start.line);
 475
 476                                 end = document.ParagraphEnd(document.selection_end.line);
 477
 478                                 line = start;
 479
 480                                 while (true) {
 481                                         line.alignment = value;
 482
 483                                         if (line == end) {
 484                                                 break;
 485                                         }
 486                                         line = document.GetLine(line.line_no + 1);
 487                                 }
 488                                 this.CalculateDocument();
 489                         }
 490                 }
 491
 492 #if NET_2_0
 493                 [MonoTODO ("Stub")]
 494                 [Browsable (false)]
 495                 [DesignerSerializationVisibility (DesignerSerializationVisibility.Hidden)]
 496                 public Color SelectionBackColor {
 497                         get { return selection_back_color; }
 498                         set { selection_back_color = value; }
 499                 }
 500 #endif
 501
 502                 [Browsable(false)]
 503                 [DefaultValue(false)]
 504                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 505                 [MonoTODO]
 506                 public bool SelectionBullet {
 507                         get {
 508                                 return false;
 509                         }
 510
 511                         set {
 512                         }
 513                 }
 514
 515                 [Browsable(false)]
 516                 [DefaultValue(0)]
 517                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 518                 [MonoTODO]
 519                 public int SelectionCharOffset {
 520                         get {
 521                                 return 0;
 522                         }
 523
 524                         set {
 525                         }
 526                 }
 527
 528                 [Browsable(false)]
 529                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 530                 public Color SelectionColor {
 531                         get {
 532                                 Color   color;
 533                                 LineTag start;
 534                                 LineTag end;
 535                                 LineTag tag;
 536
 537                                 if (selection_length > 0) {
 538                                         start = document.selection_start.line.FindTag (document.selection_start.pos + 1);
 539                                         end = document.selection_start.line.FindTag (document.selection_end.pos);
 540                                 } else {
 541                                         start = document.selection_start.line.FindTag (document.selection_start.pos);
 542                                         end = start;
 543                                 }
 544
 545                                 color = start.Color;
 546
 547                                 tag = start;
 548                                 while (tag != null) {
 549
 550                                         if (!color.Equals (tag.Color))
 551                                                 return Color.Empty;
 552
 553                                         if (tag == end)
 554                                                 break;
 555
 556                                         tag = document.NextTag (tag);
 557                                 }
 558
 559                                 return color;
 560                         }
 561
 562                         set {
 563                                 if (value == Color.Empty)
 564                                         value = DefaultForeColor;
 565
 566                                 int sel_start;
 567                                 int sel_end;
 568
 569                                 sel_start = document.LineTagToCharIndex(document.selection_start.line, document.selection_start.pos);
 570                                 sel_end = document.LineTagToCharIndex(document.selection_end.line, document.selection_end.pos);
 571
 572                                 document.FormatText (document.selection_start.line, document.selection_start.pos + 1,
 573                                                 document.selection_end.line, document.selection_end.pos + 1, null,
 574                                                 value, Color.Empty, FormatSpecified.Color);
 575
 576                                 document.CharIndexToLineTag(sel_start, out document.selection_start.line, out document.selection_start.tag, out document.selection_start.pos);
 577                                 document.CharIndexToLineTag(sel_end, out document.selection_end.line, out document.selection_end.tag, out document.selection_end.pos);
 578
 579                                 document.UpdateView(document.selection_start.line, 0);
 580
 581                                 //Re-Align the caret in case its changed size or position
 582                                 //probably not necessary here
 583                                 document.AlignCaret(false);
 584                         }
 585                 }
 586
 587                 [Browsable(false)]
 588                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 589                 public Font SelectionFont {
 590                         get {
 591                                 Font    font;
 592                                 LineTag start;
 593                                 LineTag end;
 594                                 LineTag tag;
 595
 596                                 if (selection_length > 0) {
 597                                         start = document.selection_start.line.FindTag (document.selection_start.pos + 1);
 598                                         end = document.selection_start.line.FindTag (document.selection_end.pos);
 599                                 } else {
 600                                         start = document.selection_start.line.FindTag (document.selection_start.pos);
 601                                         end = start;
 602                                 }
 603
 604                                 font = start.Font;
 605
 606                                 if (selection_length > 1) {
 607                                         tag = start;
 608                                         while (tag != null) {
 609
 610                                                 if (!font.Equals(tag.Font))
 611                                                         return null;
 612
 613                                                 if (tag == end)
 614                                                         break;
 615
 616                                                 tag = document.NextTag (tag);
 617                                         }
 618                                 }
 619
 620                                 return font;
 621                         }
 622
 623                         set {
 624                                 int             sel_start;
 625                                 int             sel_end;
 626
 627                                 sel_start = document.LineTagToCharIndex(document.selection_start.line, document.selection_start.pos);
 628                                 sel_end = document.LineTagToCharIndex(document.selection_end.line, document.selection_end.pos);
 629
 630                                 document.FormatText (document.selection_start.line, document.selection_start.pos + 1,
 631                                                 document.selection_end.line, document.selection_end.pos + 1, value,
 632                                                 Color.Empty, Color.Empty, FormatSpecified.Font);
 633
 634                                 document.CharIndexToLineTag(sel_start, out document.selection_start.line, out document.selection_start.tag, out document.selection_start.pos);
 635                                 document.CharIndexToLineTag(sel_end, out document.selection_end.line, out document.selection_end.tag, out document.selection_end.pos);
 636
 637                                 document.UpdateView(document.selection_start.line, 0);
 638                                 //Re-Align the caret in case its changed size or position
 639                                 Document.AlignCaret (false);
 640
 641                         }
 642                 }
 643
 644                 [Browsable(false)]
 645                 [DefaultValue(0)]
 646                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 647                 [MonoTODO]
 648                 public int SelectionHangingIndent {
 649                         get {
 650                                 return 0;
 651                         }
 652
 653                         set {
 654                         }
 655                 }
 656
 657                 [Browsable(false)]
 658                 [DefaultValue(0)]
 659                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 660                 [MonoTODO]
 661                 public int SelectionIndent {
 662                         get {
 663                                 return 0;
 664                         }
 665
 666                         set {
 667                         }
 668                 }
 669
 670                 [Browsable(false)]
 671                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 672                 public override int SelectionLength {
 673                         get {
 674                                 return base.SelectionLength;
 675                         }
 676
 677                         set {
 678                                 base.SelectionLength = value;
 679                         }
 680                 }
 681
 682                 [Browsable(false)]
 683                 [DefaultValue(false)]
 684                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 685                 [MonoTODO]
 686                 public bool SelectionProtected {
 687                         get {
 688                                 return false;
 689                         }
 690
 691                         set {
 692                         }
 693                 }
 694
 695                 [Browsable(false)]
 696                 [DefaultValue(0)]
 697                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 698                 [MonoTODO]
 699                 public int SelectionRightIndent {
 700                         get {
 701                                 return 0;
 702                         }
 703
 704                         set {
 705                         }
 706                 }
 707
 708                 [Browsable(false)]
 709                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 710                 [MonoTODO]
 711                 public int[] SelectionTabs {
 712                         get {
 713                                 return new int[0];
 714                         }
 715
 716                         set {
 717                         }
 718                 }
 719
 720                 [Browsable(false)]
 721                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 722                 public RichTextBoxSelectionTypes SelectionType {
 723                         get {
 724                                 if (document.selection_start == document.selection_end) {
 725                                         return RichTextBoxSelectionTypes.Empty;
 726                                 }
 727
 728                                 // Lazy, but works
 729                                 if (SelectedText.Length > 1) {
 730                                         return RichTextBoxSelectionTypes.MultiChar | RichTextBoxSelectionTypes.Text;
 731                                 }
 732
 733                                 return RichTextBoxSelectionTypes.Text;
 734                         }
 735                 }
 736
 737                 [DefaultValue(false)]
 738                 [MonoTODO]
 739                 public bool ShowSelectionMargin {
 740                         get {
 741                                 return false;
 742                         }
 743
 744                         set {
 745                         }
 746                 }
 747
 748                 [Localizable(true)]
 749 #if NET_2_0
 750                 [RefreshProperties (RefreshProperties.All)]
 751 #endif
 752                 public override string Text {
 753                         get {
 754                                 return base.Text;
 755                         }
 756
 757                         set {
 758                                 base.Text = value;
 759                         }
 760                 }
 761
 762                 [Browsable(false)]
 763                 public override int TextLength {
 764                         get {
 765                                 return base.TextLength;
 766                         }
 767                 }
 768
 769                 [Browsable(false)]
 770                 [DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden)]
 771                 public string UndoActionName {
 772                         get {
 773                                 return document.undo.UndoActionName;
 774                         }
 775                 }
 776
 777                 [Localizable(true)]
 778                 [DefaultValue(1)]
 779                 public float ZoomFactor {
 780                         get {
 781                                 return zoom;
 782                         }
 783
 784                         set {
 785                                 zoom = value;
 786                         }
 787                 }
 788                 #endregion      // Public Instance Properties
 789
 790                 #region Protected Instance Properties
 791                 protected override CreateParams CreateParams {
 792                         get {
 793                                 return base.CreateParams;
 794                         }
 795                 }
 796
 797                 protected override Size DefaultSize {
 798                         get {
 799                                 return new Size(100, 96);
 800                         }
 801                 }
 802                 #endregion      // Protected Instance Properties
 803
 804                 #region Public Instance Methods
 805                 public bool CanPaste(DataFormats.Format clipFormat) {
 806                         if ((clipFormat.Name == DataFormats.Rtf) ||
 807                                 (clipFormat.Name == DataFormats.Text) ||
 808                                 (clipFormat.Name == DataFormats.UnicodeText)) {
 809                                         return true;
 810                         }
 811                         return false;
 812                 }
 813
 814                 public int Find(char[] characterSet) {
 815                         return Find(characterSet, -1, -1);
 816                 }
 817
 818                 public int Find(char[] characterSet, int start) {
 819                         return Find(characterSet, start, -1);
 820                 }
 821
 822                 public int Find(char[] characterSet, int start, int end) {
 823                         Document.Marker start_mark;
 824                         Document.Marker end_mark;
 825                         Document.Marker result;
 826
 827                         if (start == -1) {
 828                                 document.GetMarker(out start_mark, true);
 829                         } else {
 830                                 Line line;
 831                                 LineTag tag;
 832                                 int pos;
 833
 834                                 start_mark = new Document.Marker();
 835
 836                                 document.CharIndexToLineTag(start, out line, out tag, out pos);
 837                                 start_mark.line = line;
 838                                 start_mark.tag = tag;
 839                                 start_mark.pos = pos;
 840                         }
 841
 842                         if (end == -1) {
 843                                 document.GetMarker(out end_mark, false);
 844                         } else {
 845                                 Line line;
 846                                 LineTag tag;
 847                                 int pos;
 848
 849                                 end_mark = new Document.Marker();
 850
 851                                 document.CharIndexToLineTag(end, out line, out tag, out pos);
 852                                 end_mark.line = line;
 853                                 end_mark.tag = tag;
 854                                 end_mark.pos = pos;
 855                         }
 856
 857                         if (document.FindChars(characterSet, start_mark, end_mark, out result)) {
 858                                 return document.LineTagToCharIndex(result.line, result.pos);
 859                         }
 860
 861                         return -1;
 862                 }
 863
 864                 public int Find(string str) {
 865                         return Find(str, -1, -1, RichTextBoxFinds.None);
 866                 }
 867
 868                 public int Find(string str, int start, int end, RichTextBoxFinds options) {
 869                         Document.Marker start_mark;
 870                         Document.Marker end_mark;
 871                         Document.Marker result;
 872
 873                         if (start == -1) {
 874                                 document.GetMarker(out start_mark, true);
 875                         } else {
 876                                 Line line;
 877                                 LineTag tag;
 878                                 int pos;
 879
 880                                 start_mark = new Document.Marker();
 881
 882                                 document.CharIndexToLineTag(start, out line, out tag, out pos);
 883
 884                                 start_mark.line = line;
 885                                 start_mark.tag = tag;
 886                                 start_mark.pos = pos;
 887                         }
 888
 889                         if (end == -1) {
 890                                 document.GetMarker(out end_mark, false);
 891                         } else {
 892                                 Line line;
 893                                 LineTag tag;
 894                                 int pos;
 895
 896                                 end_mark = new Document.Marker();
 897
 898                                 document.CharIndexToLineTag(end, out line, out tag, out pos);
 899
 900                                 end_mark.line = line;
 901                                 end_mark.tag = tag;
 902                                 end_mark.pos = pos;
 903                         }
 904
 905                         if (document.Find(str, start_mark, end_mark, out result, options)) {
 906                                 return document.LineTagToCharIndex(result.line, result.pos);
 907                         }
 908
 909                         return -1;
 910                 }
 911
 912                 public int Find(string str, int start, RichTextBoxFinds options) {
 913                         return Find(str, start, -1, options);
 914                 }
 915
 916                 public int Find(string str, RichTextBoxFinds options) {
 917                         return Find(str, -1, -1, options);
 918                 }
 919
 920
 921 #if !NET_2_0
 922                 public char GetCharFromPosition(Point pt) {
 923                         LineTag tag;
 924                         int     pos;
 925
 926                         PointToTagPos(pt, out tag, out pos);
 927
 928                         if (pos >= tag.Line.text.Length) {
 929                                 return '\n';
 930                         }
 931
 932                         return tag.Line.text[pos];
 933                 }
 934 #else
 935                 internal override char GetCharFromPositionInternal (Point p)
 936                 {
 937                         LineTag tag;
 938                         int pos;
 939
 940                         PointToTagPos (p, out tag, out pos);
 941
 942                         if (pos >= tag.Line.text.Length)
 943                                 return '\n';
 944
 945                         return tag.Line.text[pos];
 946                 }
 947 #endif
 948
 949                 public
 950 #if NET_2_0
 951                 override
 952 #endif
 953                 int GetCharIndexFromPosition(Point pt) {
 954                         LineTag tag;
 955                         int     pos;
 956
 957                         PointToTagPos(pt, out tag, out pos);
 958
 959                         return document.LineTagToCharIndex(tag.Line, pos);
 960                 }
 961
 962                 public
 963 #if NET_2_0
 964                 override
 965 #endif
 966                 int GetLineFromCharIndex(int index) {
 967                         Line    line;
 968                         LineTag tag;
 969                         int     pos;
 970
 971                         document.CharIndexToLineTag(index, out line, out tag, out pos);
 972
 973                         return line.LineNo - 1;
 974                 }
 975
 976                 public
 977 #if NET_2_0
 978                 override
 979 #endif
 980                 Point GetPositionFromCharIndex(int index) {
 981                         Line    line;
 982                         LineTag tag;
 983                         int     pos;
 984
 985                         document.CharIndexToLineTag(index, out line, out tag, out pos);
 986
 987                         return new Point((int)line.widths[pos] + 1, line.Y + 1);
 988                 }
 989
 990                 public void LoadFile(System.IO.Stream data, RichTextBoxStreamType fileType) {
 991                         document.Empty();
 992
 993
 994                         // FIXME - ignoring unicode
 995                         if (fileType == RichTextBoxStreamType.PlainText) {
 996                                 StringBuilder sb;
 997                                 char[] buffer;
 998
 999                                 try {
1000                                         sb = new StringBuilder ((int) data.Length);
1001                                         buffer = new char [1024];
1002                                 } catch {
1003                                         throw new IOException("Not enough memory to load document");
1004                                 }
1005
1006                                 StreamReader sr = new StreamReader (data, Encoding.Default, true);
1007                                 int charsRead = sr.Read (buffer, 0, buffer.Length);
1008                                 while (charsRead > 0) {
1009                                         sb.Append (buffer, 0, charsRead);
1010                                         charsRead = sr.Read (buffer, 0, buffer.Length);
1011                                 }
1012                                 base.Text = sb.ToString();
1013                                 return;
1014                         }
1015
1016                         InsertRTFFromStream(data, 0, 1);
1017
1018                         document.PositionCaret (document.GetLine (1), 0);
1019                         document.SetSelectionToCaret (true);
1020                         ScrollToCaret ();
1021                 }
1022
1023                 [MonoTODO("Make smarter RTF detection?")]
1024                 public void LoadFile(string path) {
1025                         if (path.EndsWith(".rtf")) {
1026                                 LoadFile(path, RichTextBoxStreamType.RichText);
1027                         } else {
1028                                 LoadFile(path, RichTextBoxStreamType.PlainText);
1029                         }
1030                 }
1031
1032                 public void LoadFile(string path, RichTextBoxStreamType fileType) {
1033                         FileStream      data;
1034
1035                         data = null;
1036
1037
1038                         try {
1039                                 data = new FileStream(path, FileMode.Open, FileAccess.Read, FileShare.Read, 1024);
1040
1041                                 LoadFile(data, fileType);
1042                         }
1043 #if !DEBUG
1044                         catch (Exception ex) {
1045                                 throw new IOException("Could not open file " + path, ex);
1046                         }
1047 #endif
1048                         finally {
1049                                 if (data != null) {
1050                                         data.Close();
1051                                 }
1052                         }
1053                 }
1054
1055                 public void Paste(DataFormats.Format clipFormat) {
1056                         base.Paste(Clipboard.GetDataObject(), clipFormat, false);
1057                 }
1058
1059                 public void Redo()
1060                 {
1061                         document.undo.Redo ();
1062                 }
1063
1064                 public void SaveFile(Stream data, RichTextBoxStreamType fileType) {
1065                         Encoding        encoding;
1066                         int             i;
1067                         Byte[]          bytes;
1068
1069
1070                         if (fileType == RichTextBoxStreamType.UnicodePlainText) {
1071                                 encoding = Encoding.Unicode;
1072                         } else {
1073                                 encoding = Encoding.ASCII;
1074                         }
1075
1076                         switch(fileType) {
1077                                 case RichTextBoxStreamType.PlainText:
1078                                 case RichTextBoxStreamType.TextTextOleObjs:
1079                                 case RichTextBoxStreamType.UnicodePlainText: {
1080                                         if (!Multiline) {
1081                                                 bytes = encoding.GetBytes(document.Root.text.ToString());
1082                                                 data.Write(bytes, 0, bytes.Length);
1083                                                 return;
1084                                         }
1085
1086                                         for (i = 1; i < document.Lines; i++) {
1087                                                 bytes = encoding.GetBytes(document.GetLine(i).text.ToString() + Environment.NewLine);
1088                                                 data.Write(bytes, 0, bytes.Length);
1089                                         }
1090                                         bytes = encoding.GetBytes(document.GetLine(document.Lines).text.ToString());
1091                                         data.Write(bytes, 0, bytes.Length);
1092                                         return;
1093                                 }
1094                         }
1095
1096                         // If we're here we're saving RTF
1097                         Line            start_line;
1098                         Line            end_line;
1099                         StringBuilder   rtf;
1100                         int             current;
1101                         int             total;
1102
1103                         start_line = document.GetLine(1);
1104                         end_line = document.GetLine(document.Lines);
1105                         rtf = GenerateRTF(start_line, 0, end_line, end_line.text.Length);
1106                         total = rtf.Length;
1107                         bytes = new Byte[4096];
1108
1109                         // Let's chunk it so we don't use up all memory...
1110                         for (i = 0; i < total; i += 1024) {
1111                                 if ((i + 1024) < total) {
1112                                         current = encoding.GetBytes(rtf.ToString(i, 1024), 0, 1024, bytes, 0);
1113                                 } else {
1114                                         current = total - i;
1115                                         current = encoding.GetBytes(rtf.ToString(i, current), 0, current, bytes, 0);
1116                                 }
1117                                 data.Write(bytes, 0, current);
1118                         }
1119                 }
1120
1121                 public void SaveFile(string path) {
1122                         if (path.EndsWith(".rtf")) {
1123                                 SaveFile(path, RichTextBoxStreamType.RichText);
1124                         } else {
1125                                 SaveFile(path, RichTextBoxStreamType.PlainText);
1126                         }
1127                 }
1128
1129                 public void SaveFile(string path, RichTextBoxStreamType fileType) {
1130                         FileStream      data;
1131
1132                         data = null;
1133
1134 //                      try {
1135                                 data = new FileStream(path, FileMode.Create, FileAccess.Write, FileShare.None, 1024, false);
1136                                 SaveFile(data, fileType);
1137 //                      }
1138
1139 //                      catch {
1140 //                              throw new IOException("Could not write document to file " + path);
1141 //                      }
1142
1143 //                      finally {
1144                                 if (data != null) {
1145                                         data.Close();
1146                                 }
1147 //                      }
1148                 }
1149
1150 #if NET_2_0
1151                 [EditorBrowsable (EditorBrowsableState.Never)]
1152                 public new void DrawToBitmap (Bitmap bitmap, Rectangle clip)
1153                 {
1154                         Graphics dc = Graphics.FromImage (bitmap);
1155
1156                         if (backcolor_set || (Enabled && !read_only)) {
1157                                 dc.FillRectangle (ThemeEngine.Current.ResPool.GetSolidBrush (BackColor), clip);
1158                         } else {
1159                                 dc.FillRectangle (ThemeEngine.Current.ResPool.GetSolidBrush (ThemeEngine.Current.ColorControl), clip);
1160                         }
1161
1162                         // Draw the viewable document
1163                         document.Draw (dc, clip);
1164                 }
1165 #endif
1166
1167                 #endregion      // Public Instance Methods
1168
1169                 #region Protected Instance Methods
1170                 protected virtual object CreateRichEditOleCallback() {
1171                         throw new NotImplementedException();
1172                 }
1173
1174                 protected override void OnBackColorChanged(EventArgs e) {
1175                         base.OnBackColorChanged (e);
1176                 }
1177
1178                 protected virtual void OnContentsResized(ContentsResizedEventArgs e) {
1179                         ContentsResizedEventHandler eh = (ContentsResizedEventHandler)(Events [ContentsResizedEvent]);
1180                         if (eh != null)
1181                                 eh (this, e);
1182                 }
1183
1184                 protected override void OnContextMenuChanged(EventArgs e) {
1185                         base.OnContextMenuChanged (e);
1186                 }
1187
1188                 protected override void OnHandleCreated(EventArgs e) {
1189                         base.OnHandleCreated (e);
1190                 }
1191
1192                 protected override void OnHandleDestroyed(EventArgs e) {
1193                         base.OnHandleDestroyed (e);
1194                 }
1195
1196                 protected virtual void OnHScroll(EventArgs e) {
1197                         EventHandler eh = (EventHandler)(Events [HScrollEvent]);
1198                         if (eh != null)
1199                                 eh (this, e);
1200                 }
1201
1202                 [MonoTODO("Determine when to call this")]
1203                 protected virtual void OnImeChange(EventArgs e) {
1204                         EventHandler eh = (EventHandler)(Events [ImeChangeEvent]);
1205                         if (eh != null)
1206                                 eh (this, e);
1207                 }
1208
1209                 protected virtual void OnLinkClicked(LinkClickedEventArgs e) {
1210                         LinkClickedEventHandler eh = (LinkClickedEventHandler)(Events [LinkClickedEvent]);
1211                         if (eh != null)
1212                                 eh (this, e);
1213                 }
1214
1215                 protected virtual void OnProtected(EventArgs e) {
1216                         EventHandler eh = (EventHandler)(Events [ProtectedEvent]);
1217                         if (eh != null)
1218                                 eh (this, e);
1219                 }
1220
1221                 protected override void OnRightToLeftChanged(EventArgs e) {
1222                         base.OnRightToLeftChanged (e);
1223                 }
1224
1225                 protected virtual void OnSelectionChanged(EventArgs e) {
1226                         EventHandler eh = (EventHandler)(Events [SelectionChangedEvent]);
1227                         if (eh != null)
1228                                 eh (this, e);
1229                 }
1230
1231 #if !NET_2_0
1232                 protected override void OnSystemColorsChanged(EventArgs e) {
1233                         base.OnSystemColorsChanged (e);
1234                 }
1235
1236                 protected override void OnTextChanged(EventArgs e) {
1237                         base.OnTextChanged (e);
1238                 }
1239 #endif
1240
1241                 protected virtual void OnVScroll(EventArgs e) {
1242                         EventHandler eh = (EventHandler)(Events [VScrollEvent]);
1243                         if (eh != null)
1244                                 eh (this, e);
1245                 }
1246
1247                 protected override void WndProc(ref Message m) {
1248                         base.WndProc (ref m);
1249                 }
1250
1251 #if NET_2_0
1252                 protected override bool ProcessCmdKey (ref Message msg, Keys keyData)
1253                 {
1254                         return base.ProcessCmdKey (ref msg, keyData);
1255                 }
1256 #endif
1257                 #endregion      // Protected Instance Methods
1258
1259                 #region Events
1260                 static object ContentsResizedEvent = new object ();
1261                 static object HScrollEvent = new object ();
1262                 static object ImeChangeEvent = new object ();
1263                 static object LinkClickedEvent = new object ();
1264                 static object ProtectedEvent = new object ();
1265                 static object SelectionChangedEvent = new object ();
1266                 static object VScrollEvent = new object ();
1267
1268                 [Browsable(false)]
1269                 [EditorBrowsable(EditorBrowsableState.Never)]
1270                 public new event EventHandler BackgroundImageChanged {
1271                         add { base.BackgroundImageChanged += value; }
1272                         remove { base.BackgroundImageChanged -= value; }
1273                 }
1274
1275 #if NET_2_0
1276                 [Browsable (false)]
1277                 [EditorBrowsable (EditorBrowsableState.Never)]
1278                 public new event EventHandler BackgroundImageLayoutChanged {
1279                         add { base.BackgroundImageLayoutChanged += value; }
1280                         remove { base.BackgroundImageLayoutChanged -= value; }
1281                 }
1282 #endif
1283
1284                 public event ContentsResizedEventHandler ContentsResized {
1285                         add { Events.AddHandler (ContentsResizedEvent, value); }
1286                         remove { Events.RemoveHandler (ContentsResizedEvent, value); }
1287                 }
1288
1289 #if !NET_2_0
1290                 [Browsable(false)]
1291                 [EditorBrowsable(EditorBrowsableState.Never)]
1292                 public new event EventHandler DoubleClick {
1293                         add { base.DoubleClick += value; }
1294                         remove { base.DoubleClick -= value; }
1295                 }
1296 #endif
1297
1298                 [Browsable(false)]
1299 #if !NET_2_0
1300                 [EditorBrowsable(EditorBrowsableState.Never)]
1301 #endif
1302                 public new event DragEventHandler DragDrop {
1303                         add { base.DragDrop += value; }
1304                         remove { base.DragDrop -= value; }
1305                 }
1306
1307                 [Browsable(false)]
1308 #if !NET_2_0
1309                 [EditorBrowsable(EditorBrowsableState.Never)]
1310 #endif
1311                 public new event DragEventHandler DragEnter {
1312                         add { base.DragEnter += value; }
1313                         remove { base.DragEnter -= value; }
1314                 }
1315
1316                 [Browsable(false)]
1317                 [EditorBrowsable(EditorBrowsableState.Never)]
1318                 public new event EventHandler DragLeave {
1319                         add { base.DragLeave += value; }
1320                         remove { base.DragLeave -= value; }
1321                 }
1322
1323
1324                 [Browsable(false)]
1325                 [EditorBrowsable(EditorBrowsableState.Never)]
1326                 public new event DragEventHandler DragOver {
1327                         add { base.DragOver += value; }
1328                         remove { base.DragOver -= value; }
1329                 }
1330
1331
1332                 [Browsable(false)]
1333                 [EditorBrowsable(EditorBrowsableState.Never)]
1334                 public new event GiveFeedbackEventHandler GiveFeedback {
1335                         add { base.GiveFeedback += value; }
1336                         remove { base.GiveFeedback -= value; }
1337                 }
1338
1339                 public event EventHandler HScroll {
1340                         add { Events.AddHandler (HScrollEvent, value); }
1341                         remove { Events.RemoveHandler (HScrollEvent, value); }
1342                 }
1343
1344                 public event EventHandler ImeChange {
1345                         add { Events.AddHandler (ImeChangeEvent, value); }
1346                         remove { Events.RemoveHandler (ImeChangeEvent, value); }
1347                 }
1348
1349                 public event LinkClickedEventHandler LinkClicked {
1350                         add { Events.AddHandler (LinkClickedEvent, value); }
1351                         remove { Events.RemoveHandler (LinkClickedEvent, value); }
1352                 }
1353
1354                 public event EventHandler Protected {
1355                         add { Events.AddHandler (ProtectedEvent, value); }
1356                         remove { Events.RemoveHandler (ProtectedEvent, value); }
1357                 }
1358
1359                 [Browsable(false)]
1360                 [EditorBrowsable(EditorBrowsableState.Never)]
1361                 public new event QueryContinueDragEventHandler QueryContinueDrag {
1362                         add { base.QueryContinueDrag += value; }
1363                         remove { base.QueryContinueDrag -= value; }
1364                 }
1365
1366                 public event EventHandler SelectionChanged {
1367                         add { Events.AddHandler (SelectionChangedEvent, value); }
1368                         remove { Events.RemoveHandler (SelectionChangedEvent, value); }
1369                 }
1370
1371                 public event EventHandler VScroll {
1372                         add { Events.AddHandler (VScrollEvent, value); }
1373                         remove { Events.RemoveHandler (VScrollEvent, value); }
1374                 }
1375                 #endregion      // Events
1376
1377                 #region Private Methods
1378
1379                 internal override void SelectWord ()
1380                 {
1381                         document.ExpandSelection(CaretSelection.Word, false);
1382                 }
1383
1384                 private class RtfSectionStyle : ICloneable {
1385                         internal Color rtf_color;
1386                         internal RTF.Font rtf_rtffont;
1387                         internal int rtf_rtffont_size;
1388                         internal FontStyle rtf_rtfstyle;
1389                         internal HorizontalAlignment rtf_rtfalign;
1390                         internal int rtf_par_line_left_indent;
1391
1392                         public object Clone ()
1393                         {
1394                                 RtfSectionStyle new_style = new RtfSectionStyle ();
1395
1396                                 new_style.rtf_color = rtf_color;
1397                                 new_style.rtf_par_line_left_indent = rtf_par_line_left_indent;
1398                                 new_style.rtf_rtfalign = rtf_rtfalign;
1399                                 new_style.rtf_rtffont = rtf_rtffont;
1400                                 new_style.rtf_rtffont_size = rtf_rtffont_size;
1401                                 new_style.rtf_rtfstyle = rtf_rtfstyle;
1402
1403                                 return new_style;
1404                         }
1405                 }
1406
1407                 // To allow us to keep track of the sections and revert formatting
1408                 // as we go in and out of sections of the document.
1409                 private void HandleGroup (RTF.RTF rtf)
1410                 {
1411                         //start group - save the current formatting on to a stack
1412                         //end group - go back to the formatting at the current group
1413                         if (rtf_section_stack == null) {
1414                                 rtf_section_stack = new Stack ();
1415                         }
1416
1417                         if (rtf.Major == RTF.Major.BeginGroup) {
1418                                 rtf_section_stack.Push (rtf_style.Clone ());
1419                         } else if (rtf.Major == RTF.Major.EndGroup) {
1420                                 if (rtf_section_stack.Count > 0) {
1421                                         FlushText (rtf, false);
1422
1423                                         rtf_style = (RtfSectionStyle) rtf_section_stack.Pop ();
1424                                 }
1425                         }
1426                 }
1427
1428                 [MonoTODO("Add QuadJust support for justified alignment")]
1429                 private void HandleControl(RTF.RTF rtf) {
1430                         switch(rtf.Major) {
1431                                 case RTF.Major.Unicode: {
1432                                         switch(rtf.Minor) {
1433                                                 case RTF.Minor.UnicodeCharBytes: {
1434                                                         rtf_skip_width = rtf.Param;
1435                                                         break;
1436                                                 }
1437
1438                                                 case RTF.Minor.UnicodeChar: {
1439                                                         rtf_skip_count += rtf_skip_width;
1440                                                         rtf_line.Append((char)rtf.Param);
1441                                                         break;
1442                                                 }
1443                                         }
1444                                         break;
1445                                 }
1446
1447                                 case RTF.Major.Destination: {
1448 //                                      Console.Write("[Got Destination control {0}]", rtf.Minor);
1449                                         rtf.SkipGroup();
1450                                         break;
1451                                 }
1452
1453                                 case RTF.Major.PictAttr:
1454                                         if (rtf.Picture != null && rtf.Picture.IsValid ()) {
1455                                                 Line line = document.GetLine (rtf_cursor_y);
1456                                                 document.InsertPicture (line, 0, rtf.Picture);
1457                                                 rtf_cursor_x++;
1458
1459                                                 FlushText (rtf, true);
1460                                                 rtf.Picture = null;
1461                                         }
1462                                         break;
1463
1464                                 case RTF.Major.CharAttr: {
1465                                         switch(rtf.Minor) {
1466                                                 case RTF.Minor.ForeColor: {
1467                                                         System.Windows.Forms.RTF.Color  color;
1468
1469                                                         color = System.Windows.Forms.RTF.Color.GetColor(rtf, rtf.Param);
1470
1471                                                         if (color != null) {
1472                                                                 FlushText(rtf, false);
1473                                                                 if (color.Red == -1 && color.Green == -1 && color.Blue == -1) {
1474                                                                         this.rtf_style.rtf_color = ForeColor;
1475                                                                 } else {
1476                                                                         this.rtf_style.rtf_color = Color.FromArgb(color.Red, color.Green, color.Blue);
1477                                                                 }
1478                                                                 FlushText (rtf, false);
1479                                                         }
1480                                                         break;
1481                                                 }
1482
1483                                                 case RTF.Minor.FontSize: {
1484                                                         FlushText(rtf, false);
1485                                                         this.rtf_style.rtf_rtffont_size = rtf.Param / 2;
1486                                                         break;
1487                                                 }
1488
1489                                                 case RTF.Minor.FontNum: {
1490                                                         System.Windows.Forms.RTF.Font   font;
1491
1492                                                         font = System.Windows.Forms.RTF.Font.GetFont(rtf, rtf.Param);
1493                                                         if (font != null) {
1494                                                                 FlushText(rtf, false);
1495                                                                 this.rtf_style.rtf_rtffont = font;
1496                                                         }
1497                                                         break;
1498                                                 }
1499
1500                                                 case RTF.Minor.Plain: {
1501                                                         FlushText(rtf, false);
1502                                                         rtf_style.rtf_rtfstyle = FontStyle.Regular;
1503                                                         break;
1504                                                 }
1505
1506                                                 case RTF.Minor.Bold: {
1507                                                         FlushText(rtf, false);
1508                                                         if (rtf.Param == RTF.RTF.NoParam) {
1509                                                                 rtf_style.rtf_rtfstyle |= FontStyle.Bold;
1510                                                         } else {
1511                                                                 rtf_style.rtf_rtfstyle &= ~FontStyle.Bold;
1512                                                         }
1513                                                         break;
1514                                                 }
1515
1516                                                 case RTF.Minor.Italic: {
1517                                                         FlushText(rtf, false);
1518                                                         if (rtf.Param == RTF.RTF.NoParam) {
1519                                                                 rtf_style.rtf_rtfstyle |= FontStyle.Italic;
1520                                                         } else {
1521                                                                 rtf_style.rtf_rtfstyle &= ~FontStyle.Italic;
1522                                                         }
1523                                                         break;
1524                                                 }
1525
1526                                                 case RTF.Minor.StrikeThru: {
1527                                                         FlushText(rtf, false);
1528                                                         if (rtf.Param == RTF.RTF.NoParam) {
1529                                                                 rtf_style.rtf_rtfstyle |= FontStyle.Strikeout;
1530                                                         } else {
1531                                                                 rtf_style.rtf_rtfstyle &= ~FontStyle.Strikeout;
1532                                                         }
1533                                                         break;
1534                                                 }
1535
1536                                                 case RTF.Minor.Underline: {
1537                                                         FlushText(rtf, false);
1538                                                         if (rtf.Param == RTF.RTF.NoParam) {
1539                                                                 rtf_style.rtf_rtfstyle |= FontStyle.Underline;
1540                                                         } else {
1541                                                                 rtf_style.rtf_rtfstyle = rtf_style.rtf_rtfstyle & ~FontStyle.Underline;
1542                                                         }
1543                                                         break;
1544                                                 }
1545
1546                                                 case RTF.Minor.NoUnderline: {
1547                                                         FlushText(rtf, false);
1548                                                         rtf_style.rtf_rtfstyle &= ~FontStyle.Underline;
1549                                                         break;
1550                                                 }
1551                                         }
1552                                         break;
1553                                 }
1554
1555                         case RTF.Major.ParAttr: {
1556                                 switch (rtf.Minor) {
1557
1558                                 case RTF.Minor.ParDef:
1559                                         FlushText (rtf, false);
1560                                         rtf_style.rtf_par_line_left_indent = 0;
1561                                         rtf_style.rtf_rtfalign = HorizontalAlignment.Left;
1562                                         break;
1563
1564                                 case RTF.Minor.LeftIndent:
1565                                         rtf_style.rtf_par_line_left_indent = (int) (((float) rtf.Param / 1440.0F) * CreateGraphics ().DpiX + 0.5F);
1566                                         break;
1567
1568                                 case RTF.Minor.QuadCenter:
1569                                         FlushText (rtf, false);
1570                                         rtf_style.rtf_rtfalign = HorizontalAlignment.Center;
1571                                         break;
1572
1573                                 case RTF.Minor.QuadJust:
1574                                         FlushText (rtf, false);
1575                                         rtf_style.rtf_rtfalign = HorizontalAlignment.Center;
1576                                         break;
1577
1578                                 case RTF.Minor.QuadLeft:
1579                                         FlushText (rtf, false);
1580                                         rtf_style.rtf_rtfalign = HorizontalAlignment.Left;
1581                                         break;
1582
1583                                 case RTF.Minor.QuadRight:
1584                                         FlushText (rtf, false);
1585                                         rtf_style.rtf_rtfalign = HorizontalAlignment.Right;
1586                                         break;
1587                                 }
1588                                 break;
1589                         }
1590
1591                         case RTF.Major.SpecialChar: {
1592                                         //Console.Write("[Got SpecialChar control {0}]", rtf.Minor);
1593                                         SpecialChar (rtf);
1594                                         break;
1595                                 }
1596                         }
1597                 }
1598
1599                 private void SpecialChar(RTF.RTF rtf) {
1600                         switch(rtf.Minor) {
1601                                 case RTF.Minor.Page:
1602                                 case RTF.Minor.Sect:
1603                                 case RTF.Minor.Row:
1604                                 case RTF.Minor.Line:
1605                                 case RTF.Minor.Par: {
1606                                         FlushText(rtf, true);
1607                                         break;
1608                                 }
1609
1610                                 case RTF.Minor.Cell: {
1611                                         Console.Write(" ");
1612                                         break;
1613                                 }
1614
1615                                 case RTF.Minor.NoBrkSpace: {
1616                                         Console.Write(" ");
1617                                         break;
1618                                 }
1619
1620                                 case RTF.Minor.Tab: {
1621                                         rtf_line.Append ("\t");
1622 //                                      FlushText (rtf, false);
1623                                         break;
1624                                 }
1625
1626                                 case RTF.Minor.NoReqHyphen:
1627                                 case RTF.Minor.NoBrkHyphen: {
1628                                         rtf_line.Append ("-");
1629 //                                      FlushText (rtf, false);
1630                                         break;
1631                                 }
1632
1633                                 case RTF.Minor.Bullet: {
1634                                         Console.WriteLine("*");
1635                                         break;
1636                                 }
1637
1638                         case RTF.Minor.WidowCtrl:
1639                                 break;
1640
1641                                 case RTF.Minor.EmDash: {
1642                                 rtf_line.Append ("\u2014");
1643                                         break;
1644                                 }
1645
1646                                 case RTF.Minor.EnDash: {
1647                                         rtf_line.Append ("\u2013");
1648                                         break;
1649                                 }
1650 /*
1651                                 case RTF.Minor.LQuote: {
1652                                         Console.Write("\u2018");
1653                                         break;
1654                                 }
1655
1656                                 case RTF.Minor.RQuote: {
1657                                         Console.Write("\u2019");
1658                                         break;
1659                                 }
1660
1661                                 case RTF.Minor.LDblQuote: {
1662                                         Console.Write("\u201C");
1663                                         break;
1664                                 }
1665
1666                                 case RTF.Minor.RDblQuote: {
1667                                         Console.Write("\u201D");
1668                                         break;
1669                                 }
1670 */
1671                                 default: {
1672 //                                      Console.WriteLine ("skipped special char:   {0}", rtf.Minor);
1673 //                                      rtf.SkipGroup();
1674                                         break;
1675                                 }
1676                         }
1677                 }
1678
1679                 private void HandleText(RTF.RTF rtf) {
1680                         if (rtf_skip_count > 0) {
1681                                 rtf_skip_count--;
1682                                 return;
1683                         }
1684
1685                         /*
1686                         if ((RTF.StandardCharCode)rtf.Minor != RTF.StandardCharCode.nothing) {
1687                                 rtf_line.Append(rtf_text_map[(RTF.StandardCharCode)rtf.Minor]);
1688                         } else {
1689                                 if ((int)rtf.Major > 31 && (int)rtf.Major < 128) {
1690                                         rtf_line.Append((char)rtf.Major);
1691                                 } else {
1692                                         //rtf_line.Append((char)rtf.Major);
1693                                         Console.Write("[Literal:0x{0:X2}]", (int)rtf.Major);
1694                                 }
1695                         }
1696                         */
1697                         rtf_line.Append (rtf.EncodedText);
1698                 }
1699
1700                 private void FlushText(RTF.RTF rtf, bool newline) {
1701                         int             length;
1702                         Font            font;
1703
1704                         length = rtf_line.Length;
1705                         if (!newline && (length == 0)) {
1706                                 return;
1707                         }
1708
1709                         if (rtf_style.rtf_rtffont == null) {
1710                                 // First font in table is default
1711                                 rtf_style.rtf_rtffont = System.Windows.Forms.RTF.Font.GetFont (rtf, 0);
1712                         }
1713
1714                         font = new Font (rtf_style.rtf_rtffont.Name, rtf_style.rtf_rtffont_size, rtf_style.rtf_rtfstyle);
1715
1716                         if (rtf_style.rtf_color == Color.Empty) {
1717                                 System.Windows.Forms.RTF.Color color;
1718
1719                                 // First color in table is default
1720                                 color = System.Windows.Forms.RTF.Color.GetColor (rtf, 0);
1721
1722                                 if ((color == null) || (color.Red == -1 && color.Green == -1 && color.Blue == -1)) {
1723                                         rtf_style.rtf_color = ForeColor;
1724                                 } else {
1725                                         rtf_style.rtf_color = Color.FromArgb (color.Red, color.Green, color.Blue);
1726                                 }
1727
1728                         }
1729
1730                         rtf_chars += rtf_line.Length;
1731
1732
1733
1734                         if (rtf_cursor_x == 0) {
1735                                 if (newline && rtf_line.ToString ().EndsWith ("\n") == false)
1736                                         rtf_line.Append ("\n");
1737
1738                                 document.Add (rtf_cursor_y, rtf_line.ToString (), rtf_style.rtf_rtfalign, font, rtf_style.rtf_color,
1739                                                                 newline ? LineEnding.Rich : LineEnding.Wrap);
1740                                 if (rtf_style.rtf_par_line_left_indent != 0) {
1741                                         Line line = document.GetLine (rtf_cursor_y);
1742                                         line.indent = rtf_style.rtf_par_line_left_indent;
1743                                 }
1744                         } else {
1745                                 Line line;
1746
1747                                 line = document.GetLine (rtf_cursor_y);
1748                                 line.indent = rtf_style.rtf_par_line_left_indent;
1749                                 if (rtf_line.Length > 0) {
1750                                         document.InsertString (line, rtf_cursor_x, rtf_line.ToString ());
1751                                         document.FormatText (line, rtf_cursor_x + 1, line, rtf_cursor_x + 1 + length,
1752                             font, rtf_style.rtf_color, Color.Empty,
1753                                                         FormatSpecified.Font | FormatSpecified.Color);
1754                                 }
1755                                 if (newline) {
1756                                         document.Split (line, rtf_cursor_x + length);
1757                                         line = document.GetLine (rtf_cursor_y);
1758                                         line.ending = LineEnding.Rich;
1759
1760                                         if (line.Text.EndsWith ("\n") == false)
1761                                                 line.Text += "\n";
1762                                 }
1763                         }
1764
1765                         if (newline) {
1766                                 rtf_cursor_x = 0;
1767                                 rtf_cursor_y++;
1768                         } else {
1769                                 rtf_cursor_x += length;
1770                         }
1771                         rtf_line.Length = 0;    // Empty line
1772                 }
1773
1774                 private void InsertRTFFromStream(Stream data, int cursor_x, int cursor_y) {
1775                         int     x;
1776                         int     y;
1777                         int     chars;
1778
1779                         InsertRTFFromStream(data, cursor_x, cursor_y, out x, out y, out chars);
1780                 }
1781
1782                 private void InsertRTFFromStream(Stream data, int cursor_x, int cursor_y, out int to_x, out int to_y, out int chars) {
1783                         RTF.RTF         rtf;
1784
1785                         rtf = new RTF.RTF(data);
1786
1787                         // Prepare
1788                         rtf.ClassCallback[RTF.TokenClass.Text] = new RTF.ClassDelegate(HandleText);
1789                         rtf.ClassCallback[RTF.TokenClass.Control] = new RTF.ClassDelegate(HandleControl);
1790                         rtf.ClassCallback[RTF.TokenClass.Group] = new RTF.ClassDelegate(HandleGroup);
1791
1792                         rtf_skip_width = 0;
1793                         rtf_skip_count = 0;
1794                         rtf_line = new StringBuilder();
1795                         rtf_style.rtf_color = Color.Empty;
1796                         rtf_style.rtf_rtffont_size = (int)this.Font.Size;
1797                         rtf_style.rtf_rtfalign = HorizontalAlignment.Left;
1798                         rtf_style.rtf_rtfstyle = FontStyle.Regular;
1799                         rtf_style.rtf_rtffont = null;
1800                         rtf_cursor_x = cursor_x;
1801                         rtf_cursor_y = cursor_y;
1802                         rtf_chars = 0;
1803                         rtf.DefaultFont(this.Font.Name);
1804
1805                         rtf_text_map = new RTF.TextMap();
1806                         RTF.TextMap.SetupStandardTable(rtf_text_map.Table);
1807
1808                         document.SuspendRecalc ();
1809
1810                         try {
1811                                 rtf.Read();     // That's it
1812                                 FlushText(rtf, false);
1813
1814                         }
1815
1816
1817                         catch (RTF.RTFException e) {
1818 #if DEBUG
1819                                 throw e;
1820 #endif
1821                                 // Seems to be plain text or broken RTF
1822                                 Console.WriteLine("RTF Parsing failure: {0}", e.Message);
1823                         }
1824
1825                         to_x = rtf_cursor_x;
1826                         to_y = rtf_cursor_y;
1827                         chars = rtf_chars;
1828
1829                         // clear the section stack if it was used
1830                         if (rtf_section_stack != null)
1831                                 rtf_section_stack.Clear();
1832
1833                         document.RecalculateDocument(CreateGraphicsInternal(), cursor_y, document.Lines, false);
1834                         document.ResumeRecalc (true);
1835
1836                         document.Invalidate (document.GetLine(cursor_y), 0, document.GetLine(document.Lines), -1);
1837                 }
1838
1839                 private void RichTextBox_HScrolled(object sender, EventArgs e) {
1840                         OnHScroll(e);
1841                 }
1842
1843                 private void RichTextBox_VScrolled(object sender, EventArgs e) {
1844                         OnVScroll(e);
1845                 }
1846
1847                 private void PointToTagPos(Point pt, out LineTag tag, out int pos) {
1848                         Point p;
1849
1850                         p = pt;
1851
1852                         if (p.X >= document.ViewPortWidth) {
1853                                 p.X = document.ViewPortWidth - 1;
1854                         } else if (p.X < 0) {
1855                                 p.X = 0;
1856                         }
1857
1858                         if (p.Y >= document.ViewPortHeight) {
1859                                 p.Y = document.ViewPortHeight - 1;
1860                         } else if (p.Y < 0) {
1861                                 p.Y = 0;
1862                         }
1863
1864                         tag = document.FindCursor(p.X + document.ViewPortX, p.Y + document.ViewPortY, out pos);
1865                 }
1866
1867                 private void EmitRTFFontProperties(StringBuilder rtf, int prev_index, int font_index, Font prev_font, Font font) {
1868                         if (prev_index != font_index) {
1869                                 rtf.Append(String.Format("\\f{0}", font_index));        // Font table entry
1870                         }
1871
1872                         if ((prev_font == null) || (prev_font.Size != font.Size)) {
1873                                 rtf.Append(String.Format("\\fs{0}", (int)(font.Size * 2)));             // Font size
1874                         }
1875
1876                         if ((prev_font == null) || (font.Bold != prev_font.Bold)) {
1877                                 if (font.Bold) {
1878                                         rtf.Append("\\b");
1879                                 } else {
1880                                         if (prev_font != null) {
1881                                                 rtf.Append("\\b0");
1882                                         }
1883                                 }
1884                         }
1885
1886                         if ((prev_font == null) || (font.Italic != prev_font.Italic)) {
1887                                 if (font.Italic) {
1888                                         rtf.Append("\\i");
1889                                 } else {
1890                                         if (prev_font != null) {
1891                                                 rtf.Append("\\i0");
1892                                         }
1893                                 }
1894                         }
1895
1896                         if ((prev_font == null) || (font.Strikeout != prev_font.Strikeout)) {
1897                                 if (font.Strikeout) {
1898                                         rtf.Append("\\strike");
1899                                 } else {
1900                                         if (prev_font != null) {
1901                                                 rtf.Append("\\strike0");
1902                                         }
1903                                 }
1904                         }
1905
1906                         if ((prev_font == null) || (font.Underline != prev_font.Underline)) {
1907                                 if (font.Underline) {
1908                                         rtf.Append("\\ul");
1909                                 } else {
1910                                         if (prev_font != null) {
1911                                                 rtf.Append("\\ul0");
1912                                         }
1913                                 }
1914                         }
1915                 }
1916
1917                 [MonoTODO("Emit unicode and other special characters properly")]
1918                 private void EmitRTFText(StringBuilder rtf, string text) {
1919                         rtf.Append(text);
1920                 }
1921
1922                 // start_pos and end_pos are 0-based
1923                 private StringBuilder GenerateRTF(Line start_line, int start_pos, Line end_line, int end_pos) {
1924                         StringBuilder   sb;
1925                         ArrayList       fonts;
1926                         ArrayList       colors;
1927                         Color           color;
1928                         Font            font;
1929                         Line            line;
1930                         LineTag         tag;
1931                         int             pos;
1932                         int             line_no;
1933                         int             line_len;
1934                         int             i;
1935                         int             length;
1936
1937                         sb = new StringBuilder();
1938                         fonts = new ArrayList(10);
1939                         colors = new ArrayList(10);
1940
1941                         // Two runs, first we parse to determine tables;
1942                         // and unlike most of our processing here we work on tags
1943
1944                         line = start_line;
1945                         line_no = start_line.line_no;
1946                         pos = start_pos;
1947
1948                         // Add default font and color; to optimize document content we don't
1949                         // use this.Font and this.ForeColor but the font/color from the first tag
1950                         tag = LineTag.FindTag(start_line, pos);
1951                         font = tag.Font;
1952                         color = tag.Color;
1953                         fonts.Add(font.Name);
1954                         colors.Add(color);
1955
1956                         while (line_no <= end_line.line_no) {
1957                                 line = document.GetLine(line_no);
1958                                 tag = LineTag.FindTag(line, pos);
1959
1960                                 if (line_no != end_line.line_no) {
1961                                         line_len = line.text.Length;
1962                                 } else {
1963                                         line_len = end_pos;
1964                                 }
1965
1966                                 while (pos < line_len) {
1967                                         if (tag.Font.Name != font.Name) {
1968                                                 font = tag.Font;
1969                                                 if (!fonts.Contains(font.Name)) {
1970                                                         fonts.Add(font.Name);
1971                                                 }
1972                                         }
1973
1974                                         if (tag.Color != color) {
1975                                                 color = tag.Color;
1976                                                 if (!colors.Contains(color)) {
1977                                                         colors.Add(color);
1978                                                 }
1979                                         }
1980
1981                                         pos = tag.Start + tag.Length - 1;
1982                                         tag = tag.Next;
1983                                 }
1984                                 pos = 0;
1985                                 line_no++;
1986                         }
1987
1988                         // We have the tables, emit the header
1989                         sb.Append("{\\rtf1\\ansi");
1990                         sb.Append("\\ansicpg1252");     // FIXME - is this correct?
1991
1992                         // Default Font
1993                         sb.Append(String.Format("\\deff{0}", fonts.IndexOf(this.Font.Name)));
1994
1995                         // Default Language
1996                         sb.Append("\\deflang1033\n");   // FIXME - always 1033?
1997
1998                         // Emit the font table
1999                         sb.Append("{\\fonttbl");
2000                         for (i = 0; i < fonts.Count; i++) {
2001                                 sb.Append(String.Format("{{\\f{0}", i));        // {Font
2002                                 sb.Append("\\fnil");                    // Family
2003                                 sb.Append("\\fcharset0 ");              // Charset ANSI<space>
2004                                 sb.Append((string)fonts[i]);            // Font name
2005                                 sb.Append(";}");                        // }
2006                         }
2007                         sb.Append("}\n");
2008
2009                         // Emit the color table (if needed)
2010                         if ((colors.Count > 1) || ((((Color)colors[0]).R != this.ForeColor.R) || (((Color)colors[0]).G != this.ForeColor.G) || (((Color)colors[0]).B != this.ForeColor.B))) {
2011                                 sb.Append("{\\colortbl ");                      // Header and NO! default color
2012                                 for (i = 0; i < colors.Count; i++) {
2013                                         sb.Append(String.Format("\\red{0}", ((Color)colors[i]).R));
2014                                         sb.Append(String.Format("\\green{0}", ((Color)colors[i]).G));
2015                                         sb.Append(String.Format("\\blue{0}", ((Color)colors[i]).B));
2016                                         sb.Append(";");
2017                                 }
2018                                 sb.Append("}\n");
2019                         }
2020
2021                         sb.Append("{\\*\\generator Mono RichTextBox;}");
2022                         // Emit initial paragraph settings
2023                         tag = LineTag.FindTag(start_line, start_pos);
2024                         sb.Append("\\pard");    // Reset to default paragraph properties
2025                         EmitRTFFontProperties(sb, -1, fonts.IndexOf(tag.Font.Name), null, tag.Font);    // Font properties
2026                         sb.Append(" ");         // Space separator
2027
2028                         font = tag.Font;
2029                         color = (Color)colors[0];
2030                         line = start_line;
2031                         line_no = start_line.line_no;
2032                         pos = start_pos;
2033
2034                         while (line_no <= end_line.line_no) {
2035                                 line = document.GetLine(line_no);
2036                                 tag = LineTag.FindTag(line, pos);
2037
2038                                 if (line_no != end_line.line_no) {
2039                                         line_len = line.text.Length;
2040                                 } else {
2041                                         line_len = end_pos;
2042                                 }
2043
2044                                 while (pos < line_len) {
2045                                         length = sb.Length;
2046
2047                                         if (tag.Font != font) {
2048                                                 EmitRTFFontProperties(sb, fonts.IndexOf(font.Name), fonts.IndexOf(tag.Font.Name), font, tag.Font);
2049                                                 font = tag.Font;
2050                                         }
2051
2052                                         if (tag.Color != color) {
2053                                                 color = tag.Color;
2054                                                 sb.Append(String.Format("\\cf{0}", colors.IndexOf(color)));
2055                                         }
2056                                         if (length != sb.Length) {
2057                                                 sb.Append(" "); // Emit space to separate keywords from text
2058                                         }
2059
2060                                         // Emit the string itself
2061                                         if (line_no != end_line.line_no) {
2062                                                 EmitRTFText(sb, tag.Line.text.ToString(pos, tag.Start + tag.Length - pos - 1));
2063                                         } else {
2064                                                 if (end_pos < (tag.Start + tag.Length - 1)) {
2065                                                         // Emit partial tag only, end_pos is inside this tag
2066                                                         EmitRTFText(sb, tag.Line.text.ToString(pos, end_pos - pos));
2067                                                 } else {
2068                                                         EmitRTFText(sb, tag.Line.text.ToString(pos, tag.Start + tag.Length - pos - 1));
2069                                                 }
2070                                         }
2071
2072                                         pos = tag.Start + tag.Length - 1;
2073                                         tag = tag.Next;
2074                                 }
2075                                 if (pos >= line.text.Length) {
2076                                         if (line.ending != LineEnding.Wrap) {
2077                                                 sb.Append("\\par\n");
2078                                         }
2079                                 }
2080                                 pos = 0;
2081                                 line_no++;
2082                         }
2083
2084                         sb.Append("}\n");
2085
2086                         return sb;
2087                 }
2088                 #endregion      // Private Methods
2089         }
2090 }