add extra spaces in title of a plot when not all values are shown

This commit is contained in:
2018-05-19 08:29:12 +02:00
parent f073ea98d0
commit 814af31555

View File

@@ -303,7 +303,7 @@ public class ScatterPlot {
result.append(" (");
if (plottedValues != values) {
result.append(String.format("%,d/%,d", plottedValues, values));
result.append(String.format("%,d / %,d", plottedValues, values));
} else {
result.append(String.format("%,d", values));
}