Extended Extensión Lugares Menu es una extensión de GNOME Shell que se extiende el menú Lugares de GNOME & nbsp; 3.Para instalar esta extensión es necesario tener instalado GNOME Shell o canela. Sin embargo, tenga en cuenta que no ha sido probado con...