--- Comment #12 from Cor Nouws <[hidden email]> ---
(In reply to Regina Henschel from comment #10)
> "Parent style" is good. "Default" is not so good, because the parent need
> not be the default. Or instead of "Parent style", which can also mean a
> copy, perhaps "Use Parent".
Some styles do not have a parent. What about "Original style"?
(Would be handy if for e.g. those buttons there would always appear a