brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

extensionPrefs: Fix prefs button

Browse Source
This commit is contained in:
Florian Müllner 2016-02-04 18:22:27 +01:00
parent 793a8005a5
commit 669d20bcf0
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
js/extensionPrefs/main.js
View File

@ -24,7 +24,6 @@ const GnomeShellIface = '<node> \
</node>'; </node>';
const customCss = '.prefs-button { \ const customCss = '.prefs-button { \
padding: 8px; \
border-radius: 20px; \ border-radius: 20px; \
}'; }';