Raymond Hill bc21a1fe72 Use custom linter gutter as container for code-folding widgets ... This allows to reduce the horizontal size of the gutter; more efficient management of folding since we already need to parse each line for the linter; and eventually this will also allows to detect unbalanced !#if-!#endif directives and report such cases as errors. Additionally, keep incrementally improving error reporting details in the linter.		2023-04-06 13:14:42 -04:00
..
search-thread.js	Fine tune CodeMirror editor's search widget	2020-08-03 08:55:02 -04:00
search.js	Use custom linter gutter as container for code-folding widgets	2023-04-06 13:14:42 -04:00
ubo-dynamic-filtering.js	Fix not highlighting cases of invalid syntax	2021-10-31 13:18:31 -04:00
ubo-static-filtering.js	Use custom linter gutter as container for code-folding widgets	2023-04-06 13:14:42 -04:00