Gnome 4x Overview UI Tune

Simple gnome-shell (v4x) extension that tunes overview UI to make it more usable.

Changes

• Search textbox is hidden by default and shown only when user begins to type-to-search
• Scale of workspaces thumbnails increased 2x
• Restores background image for workspace thumbnails
• Show workspaces' thumbnails even when there is only one workspace
• Firefox's PIP (picture in picture) window is now displayed on the overview screen

All modifications can be disabled in the extension's settings.

Screenshot