()
| 207 | } |
| 208 | |
| 209 | export function hide() { |
| 210 | let windows = getScratchWindows(); |
| 211 | windows.map(function(meta_window) { |
| 212 | meta_window.minimize(); |
| 213 | }); |
| 214 | } |
| 215 | |
| 216 | export function animateWindows() { |
| 217 | let ws = getScratchWindows().filter(w => !w.minimized); |
no test coverage detected