Dust theme

  1. Bug #273164
  2. Comment #4

Comment 4 for bug 273164

Revision history for this message
Damien Collard (damien-collard) wrote :

I prefer the one on the right too.

But I don't see the need for a different shape when the window is maximized anyway (one knows when one's window is maximized, right ?), and I like things simple as they are now... Just my 2 cents :-)