Seems like it got a 404 page instead of the js file? Couldn't find the latter in the repo.
Didn't do a thorough comparison, but it also seems like the ace/src/theme files shown in the repo don't fully correspond to what's available in the UI's dropdown. Maybe intentional, though?
I see this in my console when I select the "kr_theme" theme from the Plunker UI's Settings / Editor / Theme dropdown:
Seems like it got a 404 page instead of the js file? Couldn't find the latter in the repo.
Didn't do a thorough comparison, but it also seems like the ace/src/theme files shown in the repo don't fully correspond to what's available in the UI's dropdown. Maybe intentional, though?