[gnome-tweak-tool] fonts: add another digit of precision to font-scale



commit 47b1fb13fc5f1f53418c459617cb17b0015d305e
Author: Øyvind Kolås <pippin gimp org>
Date:   Wed Nov 6 12:18:01 2013 -0500

    fonts: add another digit of precision to font-scale
    
    The old behavior only permitted increments/decrements of 10% which
    isn't fine-grained enough for manual control.

 gtweak/tweaks/tweak_group_font.py |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_group_font.py b/gtweak/tweaks/tweak_group_font.py
index 417f1eb..eebd5c8 100644
--- a/gtweak/tweaks/tweak_group_font.py
+++ b/gtweak/tweaks/tweak_group_font.py
@@ -30,6 +30,8 @@ TWEAK_GROUPS = [
                             [(i, i.title()) for i in ("none", "slight", "medium", "full")]),
         GSettingsComboTweak(_("Antialiasing"),"org.gnome.settings-daemon.plugins.xsettings", "antialiasing",
                             [(i, i.title()) for i in ("none", "grayscale", "rgba")]),
-        GSettingsSpinButtonTweak(_("Scaling Factor"), "org.gnome.desktop.interface", "text-scaling-factor", 
adjustment_step=0.1, digits=1),
+        GSettingsSpinButtonTweak(_("Scaling Factor"),
+          "org.gnome.desktop.interface", "text-scaling-factor",
+          adjustment_step=0.01, digits=2),
     )
 ]


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