[Bug 731292] New: marked text in diff viewer not usable for copy & paste