diff options
author | Michael Vetter <jubalh@iodoru.org> | 2019-05-03 11:11:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-03 11:11:40 +0200 |
commit | 4a165b81e6938186fbad59801051b972f77b6e0d (patch) | |
tree | e46d877f75e000f3fdbdc978d2d6466b01706137 /src/config/theme.c | |
parent | 45ea73125ff9a05f239152215072fc9910ecb338 (diff) | |
parent | f082563bf2687465f0ca924985ec4d38277459ba (diff) | |
download | profani-tty-4a165b81e6938186fbad59801051b972f77b6e0d.tar.gz |
Merge pull request #1084 from jubalh/occupants-char
Add occupants char
Diffstat (limited to 'src/config/theme.c')
-rw-r--r-- | src/config/theme.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/config/theme.c b/src/config/theme.c index 8d8061e9..a0ca8356 100644 --- a/src/config/theme.c +++ b/src/config/theme.c @@ -453,6 +453,16 @@ _load_preferences(void) prefs_set_occupants_size(occupants_size); } + if (g_key_file_has_key(theme, "ui", "occupants.char", NULL)) { + gchar *ch = g_key_file_get_string(theme, "ui", "occupants.char", NULL); + if (ch && strlen(ch) > 0) { + prefs_set_occupants_char(ch[0]); + g_free(ch); + } + } else { + prefs_clear_occupants_char(); + } + if (g_key_file_has_key(theme, "ui", "occupants.indent", NULL)) { gint occupants_indent = g_key_file_get_integer(theme, "ui", "occupants.indent", NULL); prefs_set_occupants_indent(occupants_indent); |