gnome-tweak-tool 3.0.4

About GNOME Tweak Tool

GNOME Tweak Tool is a tool which allows the adjustment of a number of
configuration settings that is felt would not be of interest to
ordinary users. This includes things like the fonts used in user
interface elements, alternative user interface themes, changes in
window management behaviour and others.


   * Support system wide themes (bug 648751)
   * Fix duplicate themes (bug 649687)
   * A theming specification for shell themes has been developed and agreed upon
     by a number of theme authors. If installing a theme matching this specification
     show the appropriate name
   * Support management of Shell extensions (in home directory)

========  (227K)
  sha256sum: ef6a37e7f77d56a0182d159c43039293b3368720000939b8191b8cf7f0b57680 (193K)
  sha256sum: dc05ce16d874016fd7830b390607c03d4fb8dcb7bd7c56daa2270234b82d5863

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]