[gnome-tweak-tool] fonts: add another digit of precision to font-scale
- From: John Stowers <jstowers src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-tweak-tool] fonts: add another digit of precision to font-scale
- Date: Wed, 6 Nov 2013 22:04:01 +0000 (UTC)
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]