diff options
author | Robin Gareus <robin@gareus.org> | 2013-07-09 16:23:14 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2013-07-10 15:27:16 +0200 |
commit | 0f1f7ca4fdaa0a186c37592ed429388a5060f624 (patch) | |
tree | 1d51c5aacf8de32116f8e4e0ad2a260fc9bff17c /gtk2_ardour/option_editor.cc | |
parent | 251031e354f6966f94e86091d65f85e5800d91bd (diff) |
replace "-inf" with UTF8 infinity symbol
Diffstat (limited to 'gtk2_ardour/option_editor.cc')
-rw-r--r-- | gtk2_ardour/option_editor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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)); } |