The attached patch removes a reference to PushButton that occurs even if --disable-gui is specified, causing the symbol not to be imported (I guess) from gtk.
Patch against r1788.
You seem to have CSS turned off.
Please don't fill out this field.
Logged In: YES
Applied in SVN 1790