mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 06:05:01 +07:00
Merge branch 'IDEA-162949' of https://github.com/zdary/intellij-community
This commit is contained in:
@@ -55,7 +55,7 @@ public final class IdeaAntLogger2 extends DefaultLogger {
|
||||
|
||||
private final Priority myMessagePriority = new MessagePriority();
|
||||
private final Priority myTargetPriority = new StatePriority(Project.MSG_INFO);
|
||||
private final Priority myTaskPriority = new StatePriority(Project.MSG_INFO);
|
||||
private final Priority myTaskPriority = new StatePriority(Project.MSG_VERBOSE);
|
||||
private final Priority myAlwaysSend = new Priority() {
|
||||
public void setPriority(int level) {}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user