| .. |
|
clouds.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
clouds_midnight.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
cobalt.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
crimson_editor.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
dawn.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
eclipse.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
idle_fingers.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
kr_theme.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
merbivore.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
merbivore_soft.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
mono_industrial.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
monokai.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
pastel_on_dark.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
solarized_dark.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
solarized_light.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
textmate.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
tomorrow.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
tomorrow_night.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
tomorrow_night_blue.js
|
update themes and theme conversion tool to add missing styles for folds
|
2011-11-24 12:11:07 +04:00 |
|
tomorrow_night_bright.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
tomorrow_night_eighties.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
twilight.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
|
vibrant_ink.js
|
Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.
|
2011-11-23 11:33:23 +01:00 |
