()
| 1450 | } |
| 1451 | |
| 1452 | _waitForOverviewToHide() { |
| 1453 | if (!Main.overview.visible) |
| 1454 | return Promise.resolve(); |
| 1455 | |
| 1456 | return new Promise(resolve => { |
| 1457 | const id = Main.overview.connect('hidden', () => { |
| 1458 | Main.overview.disconnect(id); |
| 1459 | resolve(); |
| 1460 | }); |
| 1461 | }); |
| 1462 | } |
| 1463 | |
| 1464 | async _mapWindow(shellwm, actor) { |
| 1465 | actor._windowType = actor.meta_window.get_window_type(); |