Terminal Improvments

Developers and administrators alike use a lot of terminal sessions. A new search provider for gnome-shell makes navigating between multiple terminal windows quick and easy. Just type into the overview to match running processes, ssh sessions, and more.

Users configuring their own profiles for gnome-terminal will welcome the return of background transparency.