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