3 ms·
It's not a desktop environment, they are extensions for the gnome shell. If you look at the source of gnome shell extensions and themes you'll find that they u
by 29athrowaway 6y ago
It's not a desktop environment, they are extensions for the gnome shell.
If you look at the source of gnome shell extensions and themes you'll find that they use JavaScript and CSS. If you spend enough effort you can make gnome look completely different.