feature request #8235
Updated by Patrick Plitzner about 5 years ago
Copied from #8146:
~~We could add the termtype to the label of term trees and terms and maybe make it toggleable in the preferences. ~~Also in the details view it should be shown~~ <- implemented in #8146.~~
* Why not using the term type in the label, e.g. instead of FeatureTree => Structure Tree. Then users must not think about what a term type means if the label says "Feature Tree". Also it is not consistent to have term type structure under the label "FeatureTree". However, this is a minor issue and if we implement the term type specific Term Tree editors soon we may keep it as it is for now.
**Update**
Like for vocabularies, we need separate menu items for each type of term trees that open the corresponding term tree editor.