mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
status bar: pause progress icon only if all progresses are paused, not any
This commit is contained in:
+1
-1
@@ -630,7 +630,7 @@ public class InfoAndProgressPanel extends JPanel implements CustomStatusBarWidge
|
||||
|
||||
private void updateProgressIcon() {
|
||||
if (myOriginals.isEmpty() || PowerSaveMode.isEnabled() ||
|
||||
myOriginals.stream().map(ProgressSuspender::getSuspender).filter(Objects::nonNull).anyMatch(ProgressSuspender::isSuspended)) {
|
||||
myOriginals.stream().map(ProgressSuspender::getSuspender).filter(Objects::nonNull).allMatch(ProgressSuspender::isSuspended)) {
|
||||
myProgressIcon.suspend();
|
||||
} else {
|
||||
myProgressIcon.resume();
|
||||
|
||||
Reference in New Issue
Block a user