From 975dafd6bd5e74cf983d6087765eeed14575b0c5 Mon Sep 17 00:00:00 2001 From: Mike Gabriel Date: Sat, 30 Sep 2023 14:18:44 +0200 Subject: Drop big-font setting. Font scaling will be handled differently and more statically. --- src/settings.vala | 18 ------------------ 1 file changed, 18 deletions(-) (limited to 'src/settings.vala') diff --git a/src/settings.vala b/src/settings.vala index efc72f2..c5d59ca 100644 --- a/src/settings.vala +++ b/src/settings.vala @@ -52,7 +52,6 @@ public class AGSettings : Object public const string KEY_ONSCREEN_KEYBOARD_THEME = "onscreen-keyboard-theme"; public const string KEY_HIGH_CONTRAST_ONSCREEN_KEYBOARD_THEME = "high-contrast-onscreen-keyboard-theme"; public const string KEY_HIGH_CONTRAST = "high-contrast"; - public const string KEY_BIG_FONT = "big-font"; public const string KEY_SCREEN_READER = "screen-reader"; public const string KEY_PLAY_READY_SOUND = "play-ready-sound"; public const string KEY_INDICATORS = "indicators"; @@ -202,23 +201,6 @@ public class AGSettings : Object } } - public bool big_font { - get { - return this.big_font_; - } - - set { - this.big_font_ = value; - - /* Also sync back to dconf, so that this state is persistent. */ - set_boolean (AGSettings.KEY_BIG_FONT, value); - - var greeter = new ArcticaGreeter (); - greeter.switch_font (value); - } - } - private const string SCHEMA = "org.ArcticaProject.arctica-greeter"; private bool high_contrast_ = AGSettings.get_boolean (AGSettings.KEY_HIGH_CONTRAST); - private bool big_font_ = AGSettings.get_boolean (AGSettings.KEY_BIG_FONT); } -- cgit v1.2.3