After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 612567 - tab-*border properties should be deprecated and set as style properties insead
tab-*border properties should be deprecated and set as style properties insead
Status: RESOLVED FIXED
Product: gtk+
Classification: Platform
Component: Widget: GtkNotebook
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gtk-bugs
gtk-bugs
Depends on:
Blocks:
 
 
Reported: 2010-03-11 14:13 UTC by Alberto Ruiz
Modified: 2011-09-27 21:23 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Alberto Ruiz 2010-03-11 14:13:54 UTC 
tab-border/tab-hborder/tab-vborder should be style properties

I suggest that these get deprecated and substituted by style properties instead.
Comment 1 Cosimo Cecchi 2011-09-27 21:15:21 UTC 
These are indeed deprecated now, and you can use the padding/border properties from CSS.
Comment 2 Alberto Ruiz 2011-09-27 21:23:39 UTC 
\o/