-
Dynamic Top Bar - GNOME Shell Extensions
October 7, 2016 10:00:14 AM GMT+02:00 * - permalink -et op une nouvelle extension à mon gnome shell, je surkiffe ce WM depuis sa sortie, les devs qui le conçoivent le rendent meilleur à chaque itération, bref : je suis fan
- https://extensions.gnome.org/extension/885/dynamic-top-bar/