Puntuado con 5 de 5 estrellas

Just what I needed.
Pro tip: to those who miss the close, minimze and maximize buttons; take a look at this https://extensions.gnome.org/extension/353/window-options/

Esta valoración es de una versión anterior del complemento (2.3.1-signed.1-signed).