From 68843f2448256b9761b81dcd7656ea360dae9d75 Mon Sep 17 00:00:00 2001
From: Michael Vetter <jubalh@iodoru.org>
Date: Tue, 5 Nov 2019 21:01:30 +0100
Subject: [PATCH] Display resource information in `/titlebar`

---
 src/ui/console.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/ui/console.c b/src/ui/console.c
index d9dce559..1fe9b01a 100644
--- a/src/ui/console.c
+++ b/src/ui/console.c
@@ -1145,6 +1145,12 @@ cons_titlebar_setting(void)
     } else {
         cons_show("Warn unencrypted (/titlebar)        : OFF");
     }
+
+    if (prefs_get_boolean(PREF_RESOURCE_TITLE)) {
+        cons_show("Resource show (/titlebar)           : ON");
+    } else {
+        cons_show("Resource show (/titlebar)           : OFF");
+    }
 }
 
 void