Snippet #175Created 3/23/2009, updated 5/18/2017snippetsMade a couple of usability improvements to the site search (ticket #1257 and ticket #1259). Will deploy soon. ← Snippet #176Snippet #174 →All snippets