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 760577 - theme: thick border on modal dialogs interfers with button design
theme: thick border on modal dialogs interfers with button design
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: general
3.19.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2016-01-13 14:01 UTC by Jakub Steiner
Modified: 2016-01-13 14:06 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Jakub Steiner 2016-01-13 14:01:00 UTC 
The design police (Lapo) thinks the thick stroke is too prominent and outside of what we have in the widget theme. We should only have 1px strokes on all modals.