(actor)
| 4743 | Kill any falsely shown WindowActor. |
| 4744 | */ |
| 4745 | export function showHandler(actor) { |
| 4746 | let metaWindow = actor.meta_window; |
| 4747 | let onActive = metaWindow.get_workspace() === workspaceManager.get_active_workspace(); |
| 4748 | |
| 4749 | if (!metaWindow.clone.get_parent() && !metaWindow.unmapped) |
| 4750 | return; |
| 4751 | |
| 4752 | if (metaWindow.unmapped) { |
| 4753 | return; |
| 4754 | } |
| 4755 | |
| 4756 | if (!onActive || |
| 4757 | isWindowAnimating(metaWindow) || |
| 4758 | // The built-in workspace-change animation is running: suppress it |
| 4759 | actor.get_parent() !== global.window_group |
| 4760 | ) { |
| 4761 | animateWindow(metaWindow); |
| 4762 | } |
| 4763 | } |
| 4764 | |
| 4765 | export function showWindow(metaWindow) { |
| 4766 | let actor = metaWindow.get_compositor_private(); |
no test coverage detected