mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-94394 icons: Provide an icon for the new "Problems" view
(cherry picked from commit bfbb54c47a81de87ad7a071b5dafdf0491856df1)
This commit is contained in:
@@ -16,6 +16,7 @@
|
||||
package com.intellij.compiler.impl;
|
||||
|
||||
import com.intellij.compiler.ProblemsView;
|
||||
import com.intellij.icons.AllIcons;
|
||||
import com.intellij.ide.errorTreeView.ErrorTreeElement;
|
||||
import com.intellij.ide.errorTreeView.ErrorViewStructure;
|
||||
import com.intellij.ide.errorTreeView.GroupingElement;
|
||||
@@ -70,6 +71,7 @@ public class ProblemsViewImpl extends ProblemsView{
|
||||
return;
|
||||
}
|
||||
final ToolWindow tw = wm.registerToolWindow(PROBLEMS_TOOLWINDOW_ID, false, ToolWindowAnchor.BOTTOM, project);
|
||||
tw.setIcon(AllIcons.Toolwindows.Problems);
|
||||
final Content content = ContentFactory.SERVICE.getInstance().createContent(myPanel, "", false);
|
||||
// todo: setup content?
|
||||
tw.getContentManager().addContent(content);
|
||||
|
||||
Reference in New Issue
Block a user