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 743963 - Extension preference button is in wrong style
Extension preference button is in wrong style
Status: RESOLVED FIXED
Product: gnome-tweak-tool
Classification: Applications
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Tweak Tool maintainer(s)
GNOME Tweak Tool maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2015-02-04 08:02 UTC by Trinh Anh Ngoc
Modified: 2015-02-15 15:01 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Screenshot (2.18 KB, image/png)
2015-02-04 08:02 UTC, Trinh Anh Ngoc 		  Details
Correct button style (1.26 KB, patch)
2015-02-04 08:04 UTC, Trinh Anh Ngoc 		committed Details | Review

Description Trinh Anh Ngoc 2015-02-04 08:02:51 UTC 
Created attachment 296072 [details]
Screenshot

Should be a square button
Comment 1 Trinh Anh Ngoc 2015-02-04 08:04:18 UTC 
Created attachment 296073 [details] [review]
Correct button style
Comment 2 Rui Matos 2015-02-14 23:44:25 UTC 
Review of attachment 296073 [details] [review]:

looks good, thanks

Can you push to git or shall I do it?

If you push, please change the patch subject to something more descriptive and specific like

"ShellExtension: fix extension prefs button style"

otherwise I'll change it myself when I push.
Comment 3 Trinh Anh Ngoc 2015-02-15 14:48:55 UTC 
I didn't have permission to push.
Comment 4 Rui Matos 2015-02-15 15:00:28 UTC 
Ok, pushed, thanks again.