|
extensions
|
do not show placeholder if non editable
|
2019-02-06 11:28:40 +01:00 |
|
marks
|
added pasteRules to marks
|
2019-01-31 15:11:16 +01:00 |
|
nodes
|
replace some names
|
2019-02-06 15:09:53 +01:00 |
|
plugins
|
move highlight plugin to its own file
|
2019-02-06 15:09:12 +01:00 |
|
index.js
|
move highlight plugin to its own file
|
2019-02-06 15:09:12 +01:00 |
