As minhas extensões do Gnome favoritas

Como já é perceptível sou um utilizador de Linux. Apesar de algum desentendimento com o Gnome ao principio acabou por se tornar o meu desktop favorito principalmente pelo seu aspecto e pela panóplia de extensões disponíveis.
O meu programa de Log que ficou com este aspecto.

Escolhi o "Dark Theme" e estou a usar a extensão "Pitch-Dark", acho que ficou com muito bom aspecto.
Outras extensões que uso e podem se obtidas a partir de https://extensions.gnome.org

Arduino Control
Sound Output Device Chooser
Pitch-Dark
caffeine
drop down terminal
frippery move clock
impatience
taskbar

Agora só falta esperar por algumas correcções no CQRLog para o poder usar a ultima versão no Debian jessie...