[Bug 48342] Sometimes copied text is lost in SharpDevelop