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 732431 - Flag icon is too small
Flag icon is too small
Status: RESOLVED FIXED
Product: gnome-mines
Classification: Applications
Component: general
3.13.x
Other Linux
: Normal minor
: ---
Assigned To: gnome-mines-maint
gnome-mines-maint
Depends on:
Blocks:
 
 
Reported: 2014-06-29 16:01 UTC by Michael Catanzaro
Modified: 2014-07-01 23:21 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
screenshot (26.89 KB, image/png)
2014-06-29 16:01 UTC, Michael Catanzaro 		Details

Description Michael Catanzaro 2014-06-29 16:01:14 UTC 
Created attachment 279542 [details]
screenshot

See screenshot, taken with GTK+ master. I guess button sizes must have changed?
Comment 1 Robert Roth 2014-06-30 05:50:44 UTC 
Absolutely strange, both icons have the same icon_size set (5 = I think is IcondSize.DND), and have the same base SVG size (16x16) so both of them should be rescaled. Will ask around in gtk+ about what could be causing this.
Comment 2 Robert Roth 2014-07-01 23:21:06 UTC 
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.