Hide Top Bar y Simple Dock, extensiones para GNOME Shell

88

Hide Top Bar y Simple Dock, dos extensiones para ganar espacio y agilidad en GNOME Shell