Skip to content

Commit

Permalink
Merge pull request #451 from schellenberg/master
Browse files Browse the repository at this point in the history
fix for broken repeat statement
  • Loading branch information
aroberge committed Apr 21, 2019
2 parents e088009 + 1c59a66 commit 748393a
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions src/js/ui/keyboard_shortcuts.js
Original file line number Diff line number Diff line change
Expand Up @@ -96,6 +96,16 @@ function loadSolution () {
};

file = fileInput.files[0];
let worldToLoad = file.name.replace(/\.[^/.]+$/, "");
let worldURL = RUR.world_selector.url_from_shortname(worldToLoad);
if (worldURL !== undefined) {
RUR.world_selector.set_url(worldURL);
}
//might be a good idea to provide a UI dialogue if the world can't auto-load?
// else {
// alert("Can't auto-load the correct world file... please select the correct world from the menu."));
// }
RUR.reload();
reader.readAsText(file);
});
}
Expand Down

0 comments on commit 748393a

Please sign in to comment.