From a51b7ecf9b7130f4e59c34908930758f6ed25427 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Fri, 30 Oct 2015 11:21:08 -0400
Subject: tui_info(): Write message to terminal

---
diff --git a/src/ui/tui.sh b/src/ui/tui.sh
index 636a630..72822e6 100644
--- a/src/ui/tui.sh
+++ b/src/ui/tui.sh
@@ -154,7 +154,10 @@ tui_dbg()
 
 tui_info()
 {
-	: No output.
+	local fmt="${1}"
+	shift 1
+
+	_tui_dialog info "${fmt}" "${@}"
 }
 
 tui_warn()
--
cgit v0.9.1