Mode | Name | Size | |
---|---|---|---|
d--------- | common | 121 | logplain |
d--------- | decorations | 41 | logplain |
d--------- | diff | 118 | logplain |
-rw-r--r-- | editor.js | 5541 | logplain |
-rw-r--r-- | editor_options.js | 332 | logplain |
-rw-r--r-- | files.js | 2616 | logplain |
-rw-r--r-- | keymap.json | 329 | logplain |
d--------- | themes | 107 | logplain |