From 0f1f7ca4fdaa0a186c37592ed429388a5060f624 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Tue, 9 Jul 2013 16:23:14 +0200
Subject: replace "-inf" with UTF8 infinity symbol

---
 gtk2_ardour/option_editor.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gtk2_ardour/option_editor.cc')

diff --git a/gtk2_ardour/option_editor.cc b/gtk2_ardour/option_editor.cc
index 1768bff1a7..d0087d2083 100644
--- a/gtk2_ardour/option_editor.cc
+++ b/gtk2_ardour/option_editor.cc
@@ -254,7 +254,7 @@ FaderOption::set_state_from_config ()
 	char buf[16];
 
 	if (val == 0.0) {
-		snprintf (buf, sizeof (buf), "-inf");
+		snprintf (buf, sizeof (buf), "-\u221e");
 	} else {
 		snprintf (buf, sizeof (buf), "%.2f", accurate_coefficient_to_dB (val));
 	}
-- 
cgit v1.2.3