Search results for "extension"

my themes for Google chrome or chromium https://chrome.google.com/extensions/detail

GNOME Panel applets substitute the maximized window title and buttons. I've decided to make it because GNOME violates Fitts's Law by putting a panel between the maxed window buttons and the corner of the screen. These applets were designed to solve the problem. Window Title and Window Buttons...

[b][u]Yaru-remix[/u][/b] [b][i]based on Ubuntu's Yaru-theme[/i][/b] [b]Yaru-remix extension

[/b] [list] [li][url=https://www.opendesktop.org/p/1198768/][u]PLANE THEME[/u].[/url][/li] [li]Extensions

then put the folder into usr/share/gnome-shell/extension available soon at https://extensions.gnome.org

-list extension in Gnome-shell[/b] As we can't theme it, we have to change the original files

-list extension in Gnome-shell[/b] As we can't theme it, we have to change the original files

directory i.e. "~/.themes/" or "/usr/share/themes/" Install the User Theme Extension for Gnome Shell

: ---------------- Fira Fonts Dash to Dock GNOME Shell extension MMOD Panel GNOME Shell extension Remove Dropdown

Gnome extension for g3.10 that adds a lock function to gnome for Lightdm