codemirror-5.16.0
|
move themes directly into ./code/
|
2016-06-29 11:45:57 +02:00 |
theme
|
templates for custom themes
|
2016-07-12 12:36:13 +02:00 |
index.html
|
fix double scrollbar issue
|
2016-07-12 15:45:49 +02:00 |
inner.html
|
remove annoying border around editor
|
2016-06-29 15:13:45 +02:00 |
main.js
|
point to the actual translation file
|
2016-07-12 15:52:36 +02:00 |
modes.js
|
infer modes from MIME types
|
2016-06-23 16:37:51 +02:00 |
themes.js
|
add 'ansuz' theme because I'm horribly vain
|
2016-06-29 15:13:24 +02:00 |