Is the ticket list search case sensitive, and when does it run?

Type in the search box and the list refreshes automatically about half a second after you stop typing, so there is no need to press a button. Submitting an empty search clears the current one. The search term stays visible in the search panel and in the URL until you clear it.