mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
check if alarm already disposed
This commit is contained in:
@@ -392,6 +392,7 @@ public class FileHistoryPanelImpl<S extends CommittedChangeList, U extends Chang
|
||||
}
|
||||
final boolean refresh = (! myInRefresh) && myHistorySession.shouldBeRefreshed();
|
||||
myUpdateAlarm.cancelAllRequests();
|
||||
if (myUpdateAlarm.isDisposed()) return;
|
||||
myUpdateAlarm.addRequest(this, 20000);
|
||||
|
||||
if (refresh) {
|
||||
|
||||
Reference in New Issue
Block a user