mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
terminal: cleanup
This commit is contained in:
@@ -13,19 +13,17 @@ import java.util.*;
|
||||
import java.util.concurrent.CopyOnWriteArraySet;
|
||||
import java.util.concurrent.atomic.AtomicBoolean;
|
||||
|
||||
public class TerminalConsoleContentHelper implements Disposable {
|
||||
class TerminalConsoleContentHelper implements Disposable {
|
||||
|
||||
private static final int FLUSH_TIMEOUT = 200;
|
||||
|
||||
private final TerminalExecutionConsole myConsole;
|
||||
private final Collection<ObservableConsoleView.ChangeListener> myChangeListeners = new CopyOnWriteArraySet<>();
|
||||
private final Set<ConsoleViewContentType> myContentTypes = ContainerUtil.newConcurrentSet();
|
||||
private final Alarm myAlarm;
|
||||
private final AtomicBoolean myRequested = new AtomicBoolean(false);
|
||||
private volatile boolean myDisposed = false;
|
||||
|
||||
public TerminalConsoleContentHelper(@NotNull TerminalExecutionConsole console) {
|
||||
myConsole = console;
|
||||
TerminalConsoleContentHelper(@NotNull TerminalExecutionConsole console) {
|
||||
myAlarm = new Alarm(Alarm.ThreadToUse.SWING_THREAD /* won't be disposed to call addRequest safely */);
|
||||
Disposer.register(console, this);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user