biox/Gnome-Shell-Window-Buttons-Extension — pull request #16 by cfclavijo (2012-08-31 22:08:18+00:00)
Title: Gnome3.4

Hi there

Well, I made small changes on the behavior of the buttons, now they hide on Overview Mode, I did this because it does not seem to aesthetic. Additional I made another theme

Since mathematicalcoffee is the maintainer, I don't know if make a pull request to this repository or to the his.

Thank you very much !!!