Search results for "extension"

-Extension - Advanced Settings/gnome-tweak-tool ---------------------------------------- Usage

. Icontheme: La Capitaine Font: Roboto Regular 10pt. (System and Programs) Gnome Extensions: - "Dash

） Install GNOME Shell extension to enable the appropriate Shell theme. Set -> personalization -> theme

） Use the GNOME tweak tool to select the theme（gnome） Install GNOME Shell extension to enable

:[/b] Disable gnome-extensions that reside on the headerbar because they mess up the headerbar-theming

.[/i] ------------------------------------- [b]Installation instructions:[/b] *Make sure the User Themes extension is enabled in gnome-tweak-tool

Shell extension called 'User Themes'. Put the folder you have downloaded into '~/.themes/FreshBlue/gnome

[b]This is a Plank Dock theme that complements the GTK Gruvbox Theme. I hope you like it and enjoy it };-] [/b] ----------------------------------------- ‹› --------------------------------------- [b]Installing Plank Dock[/b] > Plank Dock is in the repositories of all most Linux dis...

to re-tar it with .thm as the file extension before sending it to your phone though :) Hope someone else

extension app-menu) and few other changes. Thanks to tiheum for the excellent original. This is my first