On Monday, August 29 at 12:02 (-0400), Canek Peláez Valdés said: [...] > Actually, it's pretty stable. It doesn't have much customization > available
You can get a fair amount of customization by using gnome-shell extensions. You can also customize the shell interface by changing the gnome-shell.css file or using the. For non-ui customization, I recommend the tweak tools app and dconf-editor and gconf-editor still work as well. Here's an example of my slightly-customized GNOME 3 desktop (work in progress): http://ompldr.org/vYTN6NQ
