ISymbolicModelWindowManager modelManager,
List<IHighlighter> highlighters, List<IModelInfoProvider> infoProviders) {
super(title, model, modelManager);
if (highlighters.size() <= 0) {
highlighters.add(new DefaultHighlighter(Style.DEFAULT));
}
// TODO sr137: store last selected highlighter and use it next
// time a
// similar model is opened (or the same???) instead of always the