Minor Description
The search filter at the head of each table on the Web UI disappears as soon as your search token yields no results, making it impossible to edit your search without having to refresh the entire page.
This looks to be a simple fix to the hide directive in the table header. It was introduced by commit dfd466cf121bf3482acc73f0461e557a5c3ac299 and undoes this change, as it seems erroneous.
