GtkWidget::draw-border

[Peeter Vois]

Hi Folks,

I am messing around with a small GTK theming issue. I would like to add
little additional space around frames. For that I have modified a
xfce's gtkrc file: 

... 
style "framestyle" = "default"
{
    GtkWidget::draw-border             = {13, 13, 3, 13}
}
widget_class "*Frame*"          style "framestyle"
class "*Frame*"                 style "framestyle"
...

But no luck, there is no additional space around nor inside frames. I
have also tried 
GtkFrame::draw-border
GtkWidget::draw_border
GtkFrame::draw_border

Do you have some good ideas?

-- 
Peeter Vois <Peeter.Vois at proekspert.ee>