Categoria: Browser

Come ripristinare l’icona dei Feed RSS su Firefox

Con gli ultimi aggiornamenti di Firefox, è “venuta a mancare” l’icona tanto carina quanto utile che mostrava la presenza o meno dei Feed RSS su un sito web. Personalmente, ne ho sentito subito la mancanza, visto che ora, per ottenere il feed, è necessario esaminare la pagina in cerca di un qualche pulsante RSS o vedere direttamente il sorgente.

Smanettando un po’ con Firefox, ho trovato una scorciatoia. Ecco come ripristinare l’icona dei Feed RSS su Firefox:
Continua a leggere Come ripristinare l’icona dei Feed RSS su Firefox

Come creare una scorciatoia per “Andare in cima” alle pagine su Google Chrome e Mozilla Firefox

Una alternativa efficace al pulsante “Home” della tastiera (quello con la freccia inclinata vicino a “Fine”, “PagSu” e “PagGiù”) per volare verso l’inizio di una pagina web, è creare un pulsante sulla barra degli indirizzi del nostro browser o una scorciatoia nel menù contestuale del tasto destro che ci porta verso l’alto tutte le volte che viene chiamato in causa con un click. Sembra difficile? In realtà, ci sono dei plugin che semplificano in modo incredibile il lavoro con browser come Google Chrome e Mozilla Firefox.

__Per Google Chrome__

Basta usare “Top of Page“. Questa utile estensione, una volta installata, fa comparire come una simpatica icona che fa esattamente quello che cercavamo, ovvero catapultarci con un click all’inizio della pagina.

__Per Mozilla Firefox__

Firefox ha simili plug-in, alcuni dei quali però sono poco aggiornati. Uno che fa qualcosa di simile è “Back to Top“. Lo troviamo qui. Dopo aver installato questa estensione, basta cliccare con il tasto destro sulla pagina e scegliere la voce “Back to Top“, per volare verso l’inizio della pagina web.
Inoltre, questo plugin aggiunge anche l’opzione contraria, ovvero “Go to bottom“, che ci permette di scorrere la pagina verso il basso tutta d’un soffio.

Come salvare gli allegati ricevuti o inviati con GMail automaticamente con Google Docs

Per avere sempre a portata di mano gli allegati che i nostri amici e/o colleghi ci inviano, una soluzione comoda sarebbe salvarli su Google Docs.

Idealmente, è necessario scaricare il file allegato sul computer e poi caricarlo manualmente su Google Docs. Questa routine è una autentica perdita di tempo e quindi si tende a lasciare stare gli allegati in Gmail. Ma in realtà è possibile evitare la via manuale per quella automatica, che ci permette di ottenere solo i vantaggi. Ovvero non dovremo più cercare fra questa o quella email e tanto meno ricordare il giorno in cui la abbiamo ricevuta.

Prerequisito per far ciò è Google Chrome. Il resto è altrettanto semplice dell’installazione del noto browser di Big G. Ecco come salvare gli allegati ricevuti o inviati con GMail automaticamente con Google Docs:

Continua a leggere Come salvare gli allegati ricevuti o inviati con GMail automaticamente con Google Docs

Come scaricare libri da Google Libri

Più tempo passa, e più libri vengono inseriti nell’indice di Google Libri. Fra anteprime e libri completamente consultabili, Google Books vuole diventare uno dei servizi di punta offerti da big G ai suoi utenti.

Uno dei limiti attuali di Google Libri sta tutta nella mancanza di una qualche forma di download che permetta all’utente di visionare le pagine del libro anche offline. Infatti, tranne qualche rara eccezione (classici inglesi, magazine datati, etc…) non esiste apparentemente alcun modo per scaricare un libro da Google Libri.

In verità, esistono alcuni metodi che permettono di scaricare l’immagine della pagina. Il più “automatico” lo forniscono due componenti aggiunti per browser, compatibili sia con Google Chrome, sia con Mozilla Firefox. Pertanto, scarichiamo/installiamo/avviamo uno fra questi due browser e continuiamo con questa procedura:

Continua a leggere Come scaricare libri da Google Libri

Come cambiare il tipo di Carattere (o Font) su Internet Explorer 9

Come impostazione predefinita, Internet Explorer 9 usa il font Segoe UI. Questo aiuta a migliorare la sua estetica, rendendo l’interfaccia grafia molto piacevole (almeno IMHO 😀 ). Nel caso in cui si volesse cambiare il tipo di carattere, basta seguire questi 3 semplicissimi passaggi:

1. Premere da tastiera il pulsante “Alt“, poi il pulsante “E” e cliccare su “Opzioni Internet“;
2. Cliccare sul pulsante “Caratteri“, in basso;

[Finestra “Opzioni Internet”. Scegliere il pulsante “Caratteri”]

3. Scegliere il tipi di Carattere personalizzato e cliccare infine su “OK“, e ancora su “OK“.

Ecco fatto! Noteremo subito la differenza.