Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
What happened to search? #310
The search field is still there. Maybe if you had customized your toolbar in earlier versions, there was a mixup of toolbar item save/restore, but you can bring it back by right clicking on the toolbar and doing "Customize Toolbar". "Search" in the menu focuses on the search field, but if it's invisible, it does nothing.
(from [46377050ebe4]) [#310 state:fixed] Fixed filter field which became invisible under os x 10.6.