Utilitaire Tweak tool
Petit article rapide sur un outil simple mais assez pratique pour customiser son interface, comme par exemple retrouver les boutons agrandir et rétrécir !
J’ai pas compris le concept de ne plus les avoir nativement après ma migration vers d’Ubuntu 18.04 😀
bref, pour l’installation rien de plus simple
$ sudo apt install gnome-tweak-tool
Pour retrouver les fonctionnalités maximiser/minimiser il y a juste a activer
Pas mal de petites options, d’extensions comme la barre de tache en bas ou la barre d’icône a gauche façon Unity ..
C’est pas ouf mais bien pratique