task.tsx 3.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101
  1. /**
  2. * Copyright (c) 2018 mol* contributors, licensed under MIT, See LICENSE file for more info.
  3. *
  4. * @author David Sehnal <david.sehnal@gmail.com>
  5. */
  6. import { PluginReactContext, PluginUIComponent } from './base';
  7. import { OrderedMap } from 'immutable';
  8. import { TaskManager } from '../mol-plugin/util/task-manager';
  9. import { Progress } from '../mol-task';
  10. import { IconButton } from './controls/common';
  11. import { CancelSvg } from './controls/icons';
  12. import { useContext, useEffect, useState } from 'react';
  13. export function BackgroundTaskProgress() {
  14. const plugin = useContext(PluginReactContext);
  15. const [tracked, setTracked] = useState<OrderedMap<number, TaskManager.ProgressEvent>>(OrderedMap());
  16. useEffect(() => {
  17. const started = plugin.events.task.progress.subscribe(e => {
  18. const hideOverlay = !!plugin.spec.components?.hideTaskOverlay;
  19. if (e.level === 'background' && (hideOverlay || !e.useOverlay)) {
  20. setTracked(tracked => tracked.set(e.id, e));
  21. }
  22. });
  23. const finished = plugin.events.task.finished.subscribe(({ id }) => {
  24. setTracked(tracked => tracked.delete(id));
  25. });
  26. return () => {
  27. started.unsubscribe();
  28. finished.unsubscribe();
  29. };
  30. }, [plugin]);
  31. return <div className='msp-background-tasks'>
  32. {tracked.valueSeq().map(e => <ProgressEntry key={e!.id} event={e!} />)}
  33. </div>;
  34. }
  35. class ProgressEntry extends PluginUIComponent<{ event: TaskManager.ProgressEvent }> {
  36. abort = () => {
  37. this.plugin.managers.task.requestAbort(this.props.event.progress.root.progress.taskId, 'User Request');
  38. };
  39. render() {
  40. const root = this.props.event.progress.root;
  41. const subtaskCount = countSubtasks(this.props.event.progress.root) - 1;
  42. const pr = root.progress.isIndeterminate
  43. ? void 0
  44. : <>[{root.progress.current}/{root.progress.max}]</>;
  45. const subtasks = subtaskCount > 0
  46. ? <>[{subtaskCount} subtask(s)]</>
  47. : void 0;
  48. return <div className='msp-task-state'>
  49. <div>
  50. {root.progress.canAbort && <IconButton svg={CancelSvg} onClick={this.abort} title='Abort' />}
  51. <div>
  52. {root.progress.message} {pr} {subtasks}
  53. </div>
  54. </div>
  55. </div>;
  56. }
  57. }
  58. function countSubtasks(progress: Progress.Node) {
  59. if (progress.children.length === 0) return 1;
  60. let sum = 0;
  61. for (const c of progress.children) sum += countSubtasks(c);
  62. return sum;
  63. }
  64. export function OverlayTaskProgress() {
  65. const plugin = useContext(PluginReactContext);
  66. const [tracked, setTracked] = useState<OrderedMap<number, TaskManager.ProgressEvent>>(OrderedMap());
  67. useEffect(() => {
  68. const started = plugin.events.task.progress.subscribe(e => {
  69. if (!!e.useOverlay) {
  70. setTracked(tracked => tracked.set(e.id, e));
  71. }
  72. });
  73. const finished = plugin.events.task.finished.subscribe(({ id }) => {
  74. setTracked(tracked => tracked.delete(id));
  75. });
  76. return () => {
  77. started.unsubscribe();
  78. finished.unsubscribe();
  79. };
  80. }, [plugin]);
  81. if (tracked.size === 0) return null;
  82. return <div className='msp-overlay-tasks'>
  83. {tracked.valueSeq().map(e => <ProgressEntry key={e!.id} event={e!} />)}
  84. </div>;
  85. }