ace.define(“ace/ext/themelist”,,function(e,t,n){n.exports.themes=e(“ace/ext/themelist_utils/themes”).themes,n.exports.ThemeDescription=function(e){this.name=e,this.desc=e.split(“_”).map(function(e){return e.toUpperCase()+e.slice(1)}).join(“ ”),this.theme=“ace/theme/”+e},n.exports.themesByName={},n.exports.themes=n.exports.themes.map(function(e){return n.exports.themesByName=new n.exports.ThemeDescription(e),n.exports.themesByName})}),ace.define(“ace/ext/themelist_utils/themes”,,function(e,t,n){n.exports.themes=})