[Bug 48342] New: Sometimes copied text is lost in SharpDevelop