[Glade-devel] Reset to defaults

[Tristan Van Berkom]

Hi,
     I was thinking of this "Reset to defaults" option in the
editor.

Would it be better to have a reset button for each property or
have one "reset to defaults" for the widget or do both ?

Suggestions ? Comments ?

Cheers,
                       -Tristan