MIssing decoration figures in Model Navigator
Model markers (errors, warnings, etc) are currently not displayed as decoration figures in the Model Navigator. They were probably removed accidentally, in the course of plugin consolidaiton in the past few months. (maybe issue #3861 is a hint)
(from redmine: issue id 3956, created on 2020-03-19, closed on 2020-03-26)