Coloured xml tags [was #7946]
According to requests of several test users the user should be offered the opportunity to choose tags to be highlighted in a certain colour for visualization purposes.
According to requests of several test users the user should be offered the opportunity to choose tags to be highlighted in a certain colour for visualization purposes.