Marijn Haverbeke 7ac872b0db [foldgutter addon] Recompute fold markers on mode change ... Closes https://github.com/codemirror/codemirror5/issues/6968		2022-07-28 10:27:42 +02:00
..
brace-fold.js	Adjust website and github links to include '5'	2022-06-08 09:58:57 +02:00
comment-fold.js	Adjust website and github links to include '5'	2022-06-08 09:58:57 +02:00
foldcode.js	Adjust website and github links to include '5'	2022-06-08 09:58:57 +02:00
foldgutter.css	Allow theme-sensitive styling of gutter markers	2014-06-23 16:25:19 +02:00
foldgutter.js	[foldgutter addon] Recompute fold markers on mode change	2022-07-28 10:27:42 +02:00
indent-fold.js	Adjust website and github links to include '5'	2022-06-08 09:58:57 +02:00
markdown-fold.js	Adjust website and github links to include '5'	2022-06-08 09:58:57 +02:00
xml-fold.js	Adjust website and github links to include '5'	2022-06-08 09:58:57 +02:00