[ Thanks to swetna
for this link. ]
“GNOME Tweak Tool is an application for changing the advanced
settings of GNOME 3:“Features:
“Install and switch gnome-shell themes
“Switch gtk/icon/cursor themes
“Switch window manager themes
“Change The user-interface and titlebar fonts
“Icons in menus and buttons
“Behavior on laptop lid close
“Shell font size File manager desktop icons
“Titlebar click action
“Shell clock to show date
“Font hinting and antialiasing”