On Mon, Aug 29, 2011 at 12:56 PM, Albert W. Hopkins <mar...@letterboxes.org> wrote: > > > 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
Damn, that looks hot. Did you modify the CSS file by yourself? I would love a window title bar a little smaller. Regards. -- Canek Peláez Valdés Posgrado en Ciencia e Ingeniería de la Computación Universidad Nacional Autónoma de México
