halfdan/eva2
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Minor feature: dont show empty plots in legend. (in synch with mk branch)

Browse Source
This commit is contained in:
Marcel Kronfeld
2010-06-08 08:16:17 +00:00
parent 30080dcd8f
commit 328dd93b27
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/eva2/gui/GraphPointSetLegend.java
View File

@@ -64,12 +64,14 @@ public class GraphPointSetLegend {
legendEntries = new TreeSet<Pair<String, Color>>(comparator); legendEntries = new TreeSet<Pair<String, Color>>(comparator);
for (int i = 0; i < pointSetContainer.size(); i++) { for (int i = 0; i < pointSetContainer.size(); i++) {
GraphPointSet pointset = pointSetContainer.get(i); GraphPointSet pointset = pointSetContainer.get(i);
if (pointset.getPointSet().getSize()>0) {
String entryStr; String entryStr;
if (appendIndex) entryStr = StringTools.expandPrefixZeros(i, pointSetContainer.size()-1) + ": " + pointset.getInfoString(); if (appendIndex) entryStr = StringTools.expandPrefixZeros(i, pointSetContainer.size()-1) + ": " + pointset.getInfoString();
else entryStr = pointset.getInfoString(); else entryStr = pointset.getInfoString();
legendEntries.add(new Pair<String, Color>(entryStr,pointset.getColor())); legendEntries.add(new Pair<String, Color>(entryStr,pointset.getColor()));
} }
} }
}
/** /**
* A constructor without enumeration. * A constructor without enumeration.