Sidebar search

Add a search box to the sidebar so you can find where a setting is.