feature request #9288closed
Add symbols for flags in use for term trees in term tree editor
The flags are "allow duplicates", "order relevant" and "is flat".
As long as we do not have better symbols we could use letters instead, maybe in brackets or so. But I think at least for hierarchies there are a couple of symbols available in eclipse.