Wu Cheng-Han 8de5404bb1 Added new editor theme: one-dark, updated monokai active line gutter style

2015-09-25 19:01:20 +08:00

..

addon

Updated codemirror to support panel and match-highlighter and revert some unnecessary changes

2015-09-24 13:57:10 +08:00

keymap

Updated codemirror to 5.4.0

2015-07-04 11:31:01 +08:00

lib

Updated codemirror to support panel and match-highlighter and revert some unnecessary changes

2015-09-24 13:57:10 +08:00

mode

Updated codemirror to 5.4.0

2015-07-04 11:31:01 +08:00

theme

Added new editor theme: one-dark, updated monokai active line gutter style

2015-09-25 19:01:20 +08:00

codemirror.min.js

Updated codemirror to support panel and match-highlighter and revert some unnecessary changes

2015-09-24 13:57:10 +08:00

compress.sh

Updated codemirror to support panel and match-highlighter and revert some unnecessary changes

2015-09-24 13:57:10 +08:00