2019-06-20 05:10:05 -04:00
|
|
|
ace.define("ace/ext/themelist",[], function(require, exports, module) {
|
2018-11-14 09:14:36 -05:00
|
|
|
"use strict";
|
|
|
|
|
|
|
|
var themeData = [
|
|
|
|
["Chrome" ],
|
|
|
|
["Clouds" ],
|
|
|
|
["Crimson Editor" ],
|
|
|
|
["Dawn" ],
|
|
|
|
["Dreamweaver" ],
|
|
|
|
["Eclipse" ],
|
|
|
|
["GitHub" ],
|
|
|
|
["IPlastic" ],
|
|
|
|
["Solarized Light"],
|
|
|
|
["TextMate" ],
|
|
|
|
["Tomorrow" ],
|
|
|
|
["XCode" ],
|
|
|
|
["Kuroir"],
|
|
|
|
["KatzenMilch"],
|
|
|
|
["SQL Server" ,"sqlserver" , "light"],
|
|
|
|
["Ambiance" ,"ambiance" , "dark"],
|
|
|
|
["Chaos" ,"chaos" , "dark"],
|
|
|
|
["Clouds Midnight" ,"clouds_midnight" , "dark"],
|
2019-06-20 05:10:05 -04:00
|
|
|
["Dracula" ,"" , "dark"],
|
2018-11-14 09:14:36 -05:00
|
|
|
["Cobalt" ,"cobalt" , "dark"],
|
|
|
|
["Gruvbox" ,"gruvbox" , "dark"],
|
|
|
|
["Green on Black" ,"gob" , "dark"],
|
|
|
|
["idle Fingers" ,"idle_fingers" , "dark"],
|
|
|
|
["krTheme" ,"kr_theme" , "dark"],
|
|
|
|
["Merbivore" ,"merbivore" , "dark"],
|
|
|
|
["Merbivore Soft" ,"merbivore_soft" , "dark"],
|
|
|
|
["Mono Industrial" ,"mono_industrial" , "dark"],
|
|
|
|
["Monokai" ,"monokai" , "dark"],
|
|
|
|
["Pastel on dark" ,"pastel_on_dark" , "dark"],
|
|
|
|
["Solarized Dark" ,"solarized_dark" , "dark"],
|
|
|
|
["Terminal" ,"terminal" , "dark"],
|
|
|
|
["Tomorrow Night" ,"tomorrow_night" , "dark"],
|
|
|
|
["Tomorrow Night Blue" ,"tomorrow_night_blue" , "dark"],
|
|
|
|
["Tomorrow Night Bright","tomorrow_night_bright" , "dark"],
|
|
|
|
["Tomorrow Night 80s" ,"tomorrow_night_eighties" , "dark"],
|
|
|
|
["Twilight" ,"twilight" , "dark"],
|
|
|
|
["Vibrant Ink" ,"vibrant_ink" , "dark"]
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
|
|
exports.themesByName = {};
|
|
|
|
exports.themes = themeData.map(function(data) {
|
|
|
|
var name = data[1] || data[0].replace(/ /g, "_").toLowerCase();
|
|
|
|
var theme = {
|
|
|
|
caption: data[0],
|
|
|
|
theme: "ace/theme/" + name,
|
|
|
|
isDark: data[2] == "dark",
|
|
|
|
name: name
|
|
|
|
};
|
|
|
|
exports.themesByName[name] = theme;
|
|
|
|
return theme;
|
|
|
|
});
|
|
|
|
|
|
|
|
});
|
|
|
|
(function() {
|
2019-06-20 05:10:05 -04:00
|
|
|
ace.require(["ace/ext/themelist"], function(m) {
|
|
|
|
if (typeof module == "object" && typeof exports == "object" && module) {
|
|
|
|
module.exports = m;
|
|
|
|
}
|
|
|
|
});
|
2018-11-14 09:14:36 -05:00
|
|
|
})();
|
|
|
|
|