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