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.

Name		Name	Last commit message	Last commit date
Latest commit History 77 Commits
.github/workflows		.github/workflows
locale		locale
schemas		schemas
scripts		scripts
src		src
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
extension.js		extension.js
metadata.json		metadata.json
prefs.js		prefs.js