aboutsummaryrefslogtreecommitdiffstats
path: root/library/ace/ext-themelist.js
diff options
context:
space:
mode:
authorMario Vavti <mario@mariovavti.com>2016-06-10 12:22:01 +0200
committerMario Vavti <mario@mariovavti.com>2016-06-10 12:22:01 +0200
commit86985b454f75ac7f87e0dfe94fd754d7cbb0bf09 (patch)
tree42094d12360158d96bf8149d1b7a4c25e5445430 /library/ace/ext-themelist.js
parent9d5d3a946817c1b1a9dc18dead85bc989e820564 (diff)
parentc55a7b5f362e62696ef7d44cc972cb46c2802646 (diff)
downloadvolse-hubzilla-86985b454f75ac7f87e0dfe94fd754d7cbb0bf09.tar.gz
volse-hubzilla-86985b454f75ac7f87e0dfe94fd754d7cbb0bf09.tar.bz2
volse-hubzilla-86985b454f75ac7f87e0dfe94fd754d7cbb0bf09.zip
Merge branch 'dev' into sabre32
Diffstat (limited to 'library/ace/ext-themelist.js')
-rw-r--r--library/ace/ext-themelist.js5
1 files changed, 5 insertions, 0 deletions
diff --git a/library/ace/ext-themelist.js b/library/ace/ext-themelist.js
new file mode 100644
index 000000000..245c79263
--- /dev/null
+++ b/library/ace/ext-themelist.js
@@ -0,0 +1,5 @@
+ace.define("ace/ext/themelist",["require","exports","module","ace/lib/fixoldbrowsers"],function(e,t,n){"use strict";e("ace/lib/fixoldbrowsers");var r=[["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"],["Cobalt","cobalt","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"]];t.themesByName={},t.themes=r.map(function(e){var n=e[1]||e[0].replace(/ /g,"_").toLowerCase(),r={caption:e[0],theme:"ace/theme/"+n,isDark:e[2]=="dark",name:n};return t.themesByName[n]=r,r})});
+ (function() {
+ ace.require(["ace/ext/themelist"], function() {});
+ })();
+ \ No newline at end of file