Tavin Cole 4e7a6ffc22 Add codemirror option to show trailing space (#7493) ... * codemirror edit/trailingspace addon (default off) * refactor as codemirror-trailingspace plugin * copy cm-trailingspace styles from cm demo		2023-05-27 18:28:27 +02:00
..
trailingspace.css	Add codemirror option to show trailing space (#7493)	2023-05-27 18:28:27 +02:00
trailingspace.js	Add codemirror option to show trailing space (#7493)	2023-05-27 18:28:27 +02:00