Raymond Hill e44af458c0 Fine tune visuals of CodeMirror's search feature ... Added a dotted box around found text occurrences, as just pale yellow to highlight the text is not enough to visually distinguish from surrounding text. Iterating through found text occurrences will now ensure they are vertically positioned in the middle of the editor.		2020-08-04 10:14:38 -04:00
..
search-thread.js	Fine tune CodeMirror editor's search widget	2020-08-03 08:55:02 -04:00
search.js	Fine tune visuals of CodeMirror's search feature	2020-08-04 10:14:38 -04:00
ubo-dynamic-filtering.js	Fix regression in URL rules validation	2019-07-10 17:24:01 -04:00
ubo-static-filtering.js	Consider an empty pattern with anchors to be dubious	2020-07-17 10:08:08 -04:00