1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
|
/* -*- Mode: Vala; indent-tabs-mode: nil; tab-width: 4 -*-
*
* Copyright (C) 2011,2012 Canonical Ltd
* Copyright (C) 2015,2017 Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
* Copyright (C) 2022 Mihai Moldovan <ionic@ionic.de>
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License version 3 as
* published by the Free Software Foundation.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*
* Authors: Robert Ancell <robert.ancell@canonical.com>
* Michael Terry <michael.terry@canonical.com>
* Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
*/
[SingleInstance]
public class AGSettings : Object
{
public const string KEY_BACKGROUND = "background";
public const string KEY_BACKGROUND_COLOR = "background-color";
public const string KEY_DRAW_USER_BACKGROUNDS = "draw-user-backgrounds";
public const string KEY_DRAW_GRID = "draw-grid";
public const string KEY_SHOW_HOSTNAME = "show-hostname";
public const string KEY_LOGO = "logo";
public const string KEY_THEME_NAME = "theme-name";
public const string KEY_HIGH_CONTRAST_THEME_NAME = "high-contrast-theme-name";
public const string KEY_ICON_THEME_NAME = "icon-theme-name";
public const string KEY_FONT_NAME = "font-name";
public const string KEY_XFT_ANTIALIAS = "xft-antialias";
public const string KEY_XFT_DPI = "xft-dpi";
public const string KEY_XFT_HINTSTYLE = "xft-hintstyle";
public const string KEY_XFT_RGBA = "xft-rgba";
public const string KEY_ONSCREEN_KEYBOARD = "onscreen-keyboard";
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";
public const string KEY_HIDDEN_USERS = "hidden-users";
public const string KEY_GROUP_FILTER = "group-filter";
public const string KEY_IDLE_TIMEOUT = "idle-timeout";
public const string KEY_ACTIVATE_NUMLOCK = "activate-numlock";
public const string KEY_ONLY_ON_MONITOR = "only-on-monitor";
public const string KEY_REMOTE_SERVICE_CONFIGURE_URI = "remote-service-configure-uri";
public const string KEY_TOGGLEBOX_FONT_FGCOLOR = "togglebox-font-fgcolor";
public const string KEY_TOGGLEBOX_BUTTON_BGCOLOR = "togglebox-button-bgcolor";
public const string KEY_ENABLE_HIDPI = "enable-hidpi";
public const string KEY_MENUBAR_ALPHA = "menubar-alpha";
public static bool get_boolean (string key)
{
var gsettings = new Settings (SCHEMA);
return gsettings.get_boolean (key);
}
/* LP: 1006497 - utility function to make sure we have the key before trying to read it (which will segfault if the key isn't there) */
public static bool safe_get_boolean (string key, bool default)
{
var gsettings = new Settings (SCHEMA);
string[] keys = gsettings.list_keys ();
foreach (var k in keys)
if (k == key)
return gsettings.get_boolean (key);
/* key not in child list */
return default;
}
public static int get_integer (string key)
{
var gsettings = new Settings (SCHEMA);
return gsettings.get_int (key);
}
public static double get_double (string key)
{
var gsettings = new Settings (SCHEMA);
return gsettings.get_double (key);
}
public static string get_string (string key)
{
var gsettings = new Settings (SCHEMA);
return gsettings.get_string (key);
}
public static bool set_boolean (string key, bool value)
{
var gsettings = new Settings (SCHEMA);
return gsettings.set_boolean (key, value);
}
public static string[] get_strv (string key)
{
var gsettings = new Settings (SCHEMA);
return gsettings.get_strv (key);
}
public static bool set_strv (string key, string[] value)
{
var gsettings = new Settings (SCHEMA);
return gsettings.set_strv (key, value);
}
public AGSettings ()
{
}
construct {
Gtk.Settings.get_default ().get ("gtk-theme-name", out this.default_theme_name_);
/*
debug ("Fetched default theme name in construct: %s", this.default_theme_name_);
*/
}
public bool high_contrast {
get {
return this.high_contrast_;
}
set {
debug ("Called high contrast setter with value %s", value.to_string ());
this.high_contrast_ = value;
/* Also sync back to dconf, so that this state is persistent. */
set_boolean (AGSettings.KEY_HIGH_CONTRAST, value);
var greeter = new ArcticaGreeter ();
greeter.switch_contrast (value);
var settings = Gtk.Settings.get_default ();
if (value)
{
/*
debug ("Switching GTK Theme to high contrast theme \"%s\"", AGSettings.get_string (AGSettings.KEY_HIGH_CONTRAST_THEME_NAME));
*/
settings.set ("gtk-theme-name", AGSettings.get_string (AGSettings.KEY_HIGH_CONTRAST_THEME_NAME));
}
else
{
/*
debug ("Switching GTK Theme to default theme \"%s\"", this.default_theme_name_);
*/
settings.set ("gtk-theme-name", this.default_theme_name_);
}
}
}
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);
private string default_theme_name_;
}
|
