feature request #8235
Updated by Patrick Plitzner about 5 years ago
Copied from #8146: ~~We 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.~~ **Update** Like for vocabularies, we need separate menu items for each type of term trees that open the corresponding term tree editor. #8146.