Another "must have" gnome-extension after you upgrade to Ubuntu 18.04 :

This extension makes a few layout tweaks to the top panel and removes window decorations to maximize the working space.


Sign in to participate in the conversation
Share freely and wisely @ Brussels

If you are a babelut or if you want to read from a local or worldwide babelut, feel free to join this instance and the Fediverse :)