diff --git a/index.html b/index.html
index 196038ac3c..aa2f70f0ab 100644
--- a/index.html
+++ b/index.html
@@ -238,6 +238,7 @@ input[readonly] {
}
+
@@ -297,23 +298,22 @@ input[readonly] {
// ----------------- version selector-------------
- $.get('bin/list.txt').then(function(versionList) {
- $('option', '#versionSelector').remove();
- $.each(versionList.split('\n'), function(i, file) {
- if (file) {
+ // var soljsonSources is provided by bin/list.js
+ $('option', '#versionSelector').remove();
+ $.each(soljsonSources, function(i, file) {
+ if (file) {
var version = file.replace(/soljson-(.*).js/, "$1");
$('#versionSelector').append(new Option(version, file));
- }
- });
- $('#versionSelector').change(function() {
- Module = null;
- compileJSON = null;
- var script = document.createElement('script');
- script.type = 'text/javascript';
- script.src = 'bin/' + $('#versionSelector').val();
- $('head').append(script);
- onCompilerLoaded();
- });
+ }
+ });
+ $('#versionSelector').change(function() {
+ Module = null;
+ compileJSON = null;
+ var script = document.createElement('script');
+ script.type = 'text/javascript';
+ script.src = 'bin/' + $('#versionSelector').val();
+ $('head').append(script);
+ onCompilerLoaded();
});
// ----------------- resizeable ui ---------------