Buck Doyle 9074d33f28 UI: Add truncation of rendered search results (#8571) ... This closes #8549. Thanks to @optiz0r for the bug report. Having the global search attempt to render every returned result is obviously a mistake!		2020-08-05 15:58:44 -05:00
..
control.js	UI: Add truncation of rendered search results (#8571)	2020-08-05 15:58:44 -05:00
match.js	Add multiple substring highlights for search (#8287)	2020-06-25 15:26:52 -05:00