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 722937 - problem rendering asymmetric borders with dotted style
problem rendering asymmetric borders with dotted style
Status: RESOLVED FIXED
Product: gtk+
Classification: Platform
Component: Class: GtkStyleContext
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gtk-bugs
gtk-bugs
Depends on:
Blocks:
 
 
Reported: 2014-01-24 22:05 UTC by William Jon McCann
Modified: 2016-01-12 04:30 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
remaining trouble (31.52 KB, image/png)
2016-01-11 18:45 UTC, Matthias Clasen 		Details

Description William Jon McCann 2014-01-24 22:05:26 UTC 
If you use the testboxcss and enter the following:

.play {
  border-image:none;
  border-color: black;
  border-style: dotted;
  border-width:1px;
  border-right-width: 6px;
  border-radius: 0;
}

It doesn't work.
Comment 1 Matthias Clasen 2016-01-09 07:16:17 UTC 
this works now, afaics
Comment 2 Matthias Clasen 2016-01-09 07:48:30 UTC 
As soon as there's different widths involved, the top edge is not rendered in dotted or dashed style. In double style, the top edge *is* rendered, and other edges are missing.
Comment 3 Matthias Clasen 2016-01-11 18:45:12 UTC 
Created attachment 318818 [details]
remaining trouble

lapo points out that there is still some problem with border-radius handling, as the screenshot above shows.