How to tune a GTK theme? Is there an exhaustive list of properties?

Question

I'm trying to make GTK-based applications look more compact by customizing a theme, as suggested by an answer for my other question.

I reduced some values I saw in the gtkrc and it got better, but not enough.

I want to shrink it further:

---

---

How to do it?

Are there any tools helps me to adjust various paddings or at least show me the exhaustive list of properties I can set in gtkrc? Is there a document with full list of properties can be in gtkrc?

Answer 1

You can try gtkparasite, which is a Firebug-like for GTK+. You have to run it as:

$ GTK_MODULES=gtkparasite my_program

And then you can inspect the properties of each widget, change its values, etc. In the web page you will also see a screencast on how to use it.