Mode | Name | Size | |
---|---|---|---|
d--------- | common | 121 | logplain |
-rw-r--r-- | create_diff.js | 2692 | logplain |
-rw-r--r-- | create_file_diff.js | 3508 | logplain |
d--------- | decorations | 41 | logplain |
d--------- | diff | 118 | logplain |
-rw-r--r-- | editor.js | 6074 | logplain |
-rw-r--r-- | editor_options.js | 778 | logplain |
d--------- | editorconfig | 80 | logplain |
-rw-r--r-- | errors.js | 2096 | logplain |
-rw-r--r-- | files.js | 1928 | logplain |
-rw-r--r-- | keymap.json | 329 | logplain |
d--------- | languages | 141 | logplain |
-rw-r--r-- | mirror.js | 3514 | logplain |
d--------- | themes | 271 | logplain |