Mode | Name | Size | |
---|---|---|---|
d--------- | common | 121 | logplain |
d--------- | decorations | 41 | logplain |
d--------- | diff | 118 | logplain |
-rw-r--r-- | editor.js | 5594 | logplain |
-rw-r--r-- | editor_options.js | 260 | logplain |
-rw-r--r-- | keymap.json | 177 | logplain |
d--------- | themes | 39 | logplain |