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/ui/console.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/ui/console.c')
| -rw-r--r-- | src/ui/console.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ui/console.c b/src/ui/console.c index d16aef6c..c03a8bb7 100644 --- a/src/ui/console.c +++ b/src/ui/console.c @@ -1237,6 +1237,12 @@ cons_occupants_setting(void) else cons_show("Occupants wrap (/occupants) : OFF"); + char occupants_ch = prefs_get_occupants_char(); + if (occupants_ch) + cons_show("Occupants char (/occupants) : %c", occupants_ch); + else + cons_show("Occupants char (/occupants) : none"); + gint occupant_indent = prefs_get_occupants_indent(); cons_show("Occupant indent (/occupants) : %d", occupant_indent); |