shale 341218e8f6 [Search] Tree hide change ... The tree is now hidden whenever there is text in the search bar. (This allows for the case when there are no search results, but text in the search bar.)		2015-07-23 16:24:38 -07:00
..
templates	[Search] Tree hide change	2015-07-23 16:24:38 -07:00