Bug 723346 – Fix the size of the undo/hint/new-game buttons

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 723346 - Fix the size of the undo/hint/new-game buttons


Summary:	Fix the size of the undo/hint/new-game buttons

Attachments
Fix the size of the undo/hint/new-game buttons (1.81 KB, patch) 2014-01-31 07:08 UTC, Yosef Or Boczko	committed	Details \| Review

Description Yosef Or Boczko 2014-01-31 07:08:03 UTC

See the patch.

Comment 1 Yosef Or Boczko 2014-01-31 07:08:24 UTC

Created attachment 267706 [details] [review]
Fix the size of the undo/hint/new-game buttons

Comment 2 Michael Catanzaro 2014-01-31 14:10:32 UTC

Thanks!

Attachment 267706 [details] pushed as a016029 - Fix the size of the undo/hint/new-game buttons