diff options
author | Robin Gareus <robin@gareus.org> | 2013-07-10 00:02:35 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2013-07-10 15:27:16 +0200 |
commit | ffc9a2cc70459ec1bd873c92ed3163a8e355b852 (patch) | |
tree | 5ee9702840b1ad7757573aaedb3a04c4df3b211a /gtk2_ardour/option_editor.cc | |
parent | 7a62d310566916f53192bfd7af7c13846f802b44 (diff) |
Revert "replace "-inf" with UTF8 infinity symbol"
This reverts commit 7f2000ec8b0d6e0d3a6e22db44a8859301d35791.
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 d0087d2083..1768bff1a7 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), "-\u221e"); + snprintf (buf, sizeof (buf), "-inf"); } else { snprintf (buf, sizeof (buf), "%.2f", accurate_coefficient_to_dB (val)); } |