|
|
@ -475,7 +475,7 @@ var run = function () { |
|
|
|
$('#version').text(text); |
|
|
|
$('#version').text(text); |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
var loadVersion = function (version) { |
|
|
|
function loadVersion (version) { |
|
|
|
setVersionText('(loading)'); |
|
|
|
setVersionText('(loading)'); |
|
|
|
queryParams.update({version: version}); |
|
|
|
queryParams.update({version: version}); |
|
|
|
if (window.soljsonReleases !== undefined && window.soljsonReleases[version] !== undefined) { |
|
|
|
if (window.soljsonReleases !== undefined && window.soljsonReleases[version] !== undefined) { |
|
|
@ -496,7 +496,7 @@ var run = function () { |
|
|
|
} else { |
|
|
|
} else { |
|
|
|
compiler.loadVersion(false, url); |
|
|
|
compiler.loadVersion(false, url); |
|
|
|
} |
|
|
|
} |
|
|
|
}; |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
document.querySelector('#optimize').addEventListener('change', function () { |
|
|
|
document.querySelector('#optimize').addEventListener('change', function () { |
|
|
|
queryParams.update({ optimize: document.querySelector('#optimize').checked }); |
|
|
|
queryParams.update({ optimize: document.querySelector('#optimize').checked }); |
|
|
|