gnome-tweak-tool 3.1.90

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.


   * Adopt GNOME version numbering - it is easier to remember
   * Rename some tweak groups, File Manager -> Desktop, etc
   * Fix build against PyGObject-3
   * Improve search results
   * Support GNOME Shell 3.2 extensions

========  (189K)
  sha256sum: d5f2d4a2508132aadefecc8bd572e42fc66ee8954afed19f45372887dba6e56c (208K)
  sha256sum: c238f8f49cda36608f641018adeaa8de6d4cd3b5c7279a004b6a627a99e2cef7

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