diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-09-30 14:18:44 +0200 |
---|---|---|
committer | Mihai Moldovan <ionic@ionic.de> | 2023-10-06 12:03:27 +0200 |
commit | 975dafd6bd5e74cf983d6087765eeed14575b0c5 (patch) | |
tree | 9a58fc4673fad0e1d13f0cab47e701fe0d3c59dd /src/settings.vala | |
parent | adfa1f3b9b566127eb0dc5b1f96a8ddf1b4b5693 (diff) | |
download | arctica-greeter-975dafd6bd5e74cf983d6087765eeed14575b0c5.tar.gz arctica-greeter-975dafd6bd5e74cf983d6087765eeed14575b0c5.tar.bz2 arctica-greeter-975dafd6bd5e74cf983d6087765eeed14575b0c5.zip |
Drop big-font setting. Font scaling will be handled differently and more statically.
Diffstat (limited to 'src/settings.vala')
-rw-r--r-- | src/settings.vala | 18 |
1 files changed, 0 insertions, 18 deletions
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); } |