joebodo/tinkerer-joebodo — pull request #1 by negesti (2012-02-11 15:43:58+00:00)
Title: configure buttons

just saw the comment on extensions.gnome.org. I fixed the indent and added booleans to hide/show the buttons in my local version. maybe its interesting for youe.