(new_task)
| 649 | return task; |
| 650 | }, |
| 651 | set(new_task) { |
| 652 | console.warn("DEPRECATED: use $w.setMinimizeTarget(taskbar_button_el) instead of setting $window.task object"); |
| 653 | task = new_task; |
| 654 | }, |
| 655 | }); |
| 656 | |
| 657 | /** @type {{ position: string; left: string; top: string; width: string; height: string; }} */ |