mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Removed deprecated OWN_THREAD, SHARED_THREAD. Made Alarm more strict by not accepting POOLED_THREAD without disposable
This commit is contained in:
+2
-1
@@ -84,7 +84,7 @@ public class MavenProjectsManager extends MavenSimpleProjectComponent
|
||||
|
||||
private MavenProjectsManagerState myState = new MavenProjectsManagerState();
|
||||
|
||||
private final Alarm myInitializationAlarm = new Alarm(Alarm.ThreadToUse.SHARED_THREAD, myProject);
|
||||
private final Alarm myInitializationAlarm;
|
||||
|
||||
private final MavenEmbeddersManager myEmbeddersManager;
|
||||
|
||||
@@ -120,6 +120,7 @@ public class MavenProjectsManager extends MavenSimpleProjectComponent
|
||||
super(project);
|
||||
myEmbeddersManager = new MavenEmbeddersManager(myProject);
|
||||
myModificationTracker = new MavenModificationTracker(this);
|
||||
myInitializationAlarm = new Alarm(Alarm.ThreadToUse.POOLED_THREAD, project);
|
||||
}
|
||||
|
||||
public MavenProjectsManagerState getState() {
|
||||
|
||||
Reference in New Issue
Block a user