From 2c97a484180ebd607b7debf3507f9dc2fe12a9d0 Mon Sep 17 00:00:00 2001
From: Michael Vetter <jubalh@iodoru.org>
Date: Wed, 11 Sep 2019 13:21:02 +0200
Subject: [PATCH] Print history color in theme properties

Also print `main.text.history` setting when `/theme properties' is run.
---
 src/ui/console.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ui/console.c b/src/ui/console.c
index e00c6658..4874d1e1 100644
--- a/src/ui/console.c
+++ b/src/ui/console.c
@@ -2330,6 +2330,7 @@ cons_theme_properties(void)
     _cons_theme_prop(THEME_TEXT_ME, "main.text.me");
     _cons_theme_prop(THEME_THEM, "them");
     _cons_theme_prop(THEME_TEXT_THEM, "main.text.them");
+    _cons_theme_prop(THEME_TEXT_HISTORY, "main.text.history");
 
     _cons_theme_prop(THEME_CHAT, "chat");
     _cons_theme_prop(THEME_ONLINE, "online");