Gnome Shell Extensions

A partir de Gnome2, hubo un cambio dramático en la forma en que se comportaba el manejador de ventanas; y a algunos de esos cambios no es fácil adaptarse. Por ejemplo: a ver la lista de ventanas abiertas en un panel superior o inferior.

Pero también Gnome2 introdujo las extensiones, que son pequeñas aplicaciones que agregan o modifican funcionalidad; en la forma de applets, widgets, u otro tipo de funcionalidad.

Para habilitarse, se debe acceder desde un navegador a https://extensions.gnome.org/. El navegador debe tener instalado un plugin de Gnome Shell Extension; por lo que quizás es más sencillo usar Firefox (habría que ver cómo instalarle el plugin a Chrome).

Esta es la pequeña lista de extensiones a las que nos hemos acostumbrado:

Gnome Tweak Tool

Algunas cosas, como agregar botones de minimizar y maximizar, se logran instalando el gnome-tweak-tool.