Archives For estensioni

editorfirefox12

Editor è un componente aggiuntivo per Firefox che permette di riscrivere il testo di una qualunque pagina web visualizzata all’interno del browser.
L’utilizzo primario dovrebbe essere quello di permettere agli sviluppatori di testare varie impostazioni grafiche ma ci potremo intanto sbizzarrire in qualche simpatico giochetto. Potremo crearci ad esempio una pagina personalizzata di Repubblica.it o di altri giornali per fare uno scherzo ad un amico oltre che camuffare il profilo di Facebook o quant’altro.
continua a leggere

gnome3firefadd24
Oggi mi sono divertito a personalizzare ancora di più Firefox in stile Gnome.
Avevamo già apprezzato le potenzialità del tema Gnome3 giunto alla versione 18, ci aggiungeremo ora qualche altro tocco personalizzato per renderlo sempre più simile allo stile Adwaita di Gnome e del browser WEB.

GNOME 3:
Gnome 3 è il tema per Firefox che lo rende simile allo stile Adwaita, qui ci sono i miglioramenti introdotti; non male anche il tasto Firefox nero su grigio e la personalizzazione del menù componenti aggiuntivi.
continua a leggere

nvidiagputempgn24

Vi ricordate quanto era complicato qualche tempo fa visualizzare la temperatura della GPU Nvidia con Debian sensors-applet su Gnome 2x? I possessori di queste schede avevano vita dura per problematiche legate alle politiche Debian/lm-sensors/Nvidia, ed era necessario compilarsi il tutto a manina.
continua a leggere

adw15264
Abbiamo già parlato del tema Adwaita per Firefox e Thunderbird che si ispira allo stile di Gnome 3.
Recentemente il team di sviluppatori che si occupa del progetto ha reso disponibile la versione 15.2 che introduce molte novità:

Nuovi pulsanti nella barra di navigazione
Rinnovato lo stile di barra di ricerca, schede, notifiche e console web
Supporto aggiuntivo per le symbolic icons
Gestione migliorata di spostamento e spaziatura delle tabs
continua a leggere


Per chi ancora non lo conoscesse ecco un modo interessante per accedere in modo rapido a qualsiasi pagina web o servizio direttamente dal pannello di Gnome Shell.
Gnome 3 infatti permette di tramutare qualsiasi pagina web in una applicazione piazzabile nella dock tra i preferiti come un qualsiasi programma.

Con l’estensione Favorites Menu potremo inoltre accedere ad applicazioni e preferiti in modo più intuitivo direttamente dal pannello senza dover cliccare su applicazioni per far apparire la barra laterale.
continua a leggere