fix computation of rectangle bounding box

[ardour.git] / gtk2_ardour / option_editor.cc

diff --git a/gtk2_ardour/option_editor.cc b/gtk2_ardour/option_editor.cc
index d0087d20833688fc41b307180bf69c3590b82e4f..1768bff1a78e0307cfd3653dd32c9e29cb3cda3b 100644 (file)
--- 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), "-\u221e");
+               snprintf (buf, sizeof (buf), "-inf");
        } else {
                snprintf (buf, sizeof (buf), "%.2f", accurate_coefficient_to_dB (val));
        }