- Yes. It works for numbers with decimal point.
- As you said, I see that the duplicate item under gnome-bugs #524746 is fixed around the same time I submitted the patch, as a part of all other 'thousand separator' problem. So I think this patch would not be necessary.
Chris,
- Yes. It works for numbers with decimal point.
- As you said, I see that the duplicate item under gnome-bugs #524746 is fixed around the same time I submitted the patch, as a part of all other 'thousand separator' problem. So I think this patch would not be necessary.