Terminal desplegable tan suave como el 'espejo' de gnome-shell
¿Hay un terminal desplegable tan suave como el 'espejo' de gnome-shell que tiene un bash shell normal? El espejo de Gnome-shell (alt + f2, luego lg y luego enter) es muy suave. Me gustaría ver una sesión simple de gnome-terminal en un menú desplegable que sea suave. Sé que puedes desplegar Tilda,...