[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gtk-devel
Subject:    gtk_theming_engine_get_border()
From:       Magnus Bergman <magnus.bergman () trollhat ! se>
Date:       2013-12-08 13:51:06
Message-ID: 20131208145106.44d8ee77 () feathers
[Download RAW message or body]

This is really confusing me. I made a theme engine for GTK+ 3.0. But
then upgrading GTK+ (to 3.2 I think it was) all borders disappeared.
And nothing has changed since then so I decided to look into
it. Apparently gtk_theming_engine_get_border() always return zero
borders. But gtk_theming_engine_get_padding() and
gtk_theming_engine_get_margin() still work fine. Sample CSS-file I've
tried with:

    *{
        border: 1px;
        padding: 1px;
        margin: 1px;
    }

Some say I should use "border-width" instead of "border", but the
result is the same. Have I triggered some strange bug or am I doing
something wrong? The render_background method of the theme engine is
supposed to call gtk_theming_engine_get_border() to get the desired
border width, right? Looking at the code of other theme engines it
seems they are doing the same thing, but I never seen anyone else
with this issue. Should I file a bug along with sample code?
_______________________________________________
gtk-devel-list mailing list
gtk-devel-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gtk-devel-list
[prev in list] [next in list] [prev in thread] [next in thread]