# HG changeset patch # User www-data # Date 1464344444 -3600 # Node ID 002be75d71dfbc4fe553e5214b9ac1d8e0f889d6 # Parent f0b0b4f6487daccde865d91f0d1edb932be8210a# Parent c2db5860a247ab9c2fc65f127face11f9ad66603 Merge branch 'master' of https://github.com/BrechtDeMan/WebAudioEvaluationTool diff -r f0b0b4f6487d -r 002be75d71df test_create/test_core.js --- a/test_create/test_core.js Fri May 27 09:20:52 2016 +0100 +++ b/test_create/test_core.js Fri May 27 11:20:44 2016 +0100 @@ -1326,7 +1326,10 @@ obj.content = document.createElement("div"); obj.content.id = "finish"; var span = document.createElement("span"); - span.textContent = "Your XML document is linked below. On most browsers, simply right click on the link and select 'Save As'. Or clicking on the link may download the file directly. " + span.textContent = "Your XML document is linked below. On most browsers, simply right click on the link and select 'Save As'. Or clicking on the link may download the file directly." + obj.content.appendChild(span); + span = document.createElement("p"); + span.textContent = "NOTE FOR SAFARI! You cannot right click on the below link and save it as a file, Safari does not like that at all. Instead click on it to open the XML, the Press Cmd+S to open the save dialogue. Make sure you have 'save as Page Source' selected on the bottom of the window. Currently Safari has no plans to support the HTML 'download' attribute which causes this problem"; obj.content.appendChild(span); var link = document.createElement("div"); link.appendChild(doc.firstElementChild);