They offer different flash templates with latest features.
Login

Forgot password
Register
Back

gnome-tweak-tool

tool to adjust advanced configuration settings for GNOME
https://wiki.gnome.org/Apps/GnomeTweakTool
Score:
 0
7 reviews
Description:

GNOME Tweak Tool allows the adjustment of several advanced GNOME options that can't be configured in gnome-control-center. This includes things like:
* fonts used in user interface elements and titlebar
* font hinting and aliasing
* alternative user interface themes
* changes in window management behaviour
* behaviour on laptop lid close
* file manager desktop icons
* icons in menus and buttons

User reviews:
ScoreComment

timtim
4 months ago
1 DOESNT WORK FOR ME IN linux mint 18 cinamon serena

JCH2
11 months ago
2 as stated elsewhere, not much more than you adjust through Cinnamon; might be slightly more convenient for some.

toteo
2 years ago
1 Does not work for me (17.2), not much more options then in Cinnamon settings anyway.

wv0lf
2 years ago
4 Works... 17.2

stevendobay
2 years ago
5 Best tweak tool, if you've gnome-shell(note for the others below).

WhitePhoenix
3 years ago
3 I installed it and couldn’t find it in the menu or control center. Not useful if you cannot access it.

brandoneffecttech
5 years ago
5 Great tool, saves time and agravation when installing / setting gnome shell/themes