(
window: WaylandWindow,
viewportRect: ManagedWindowRect,
)
| 4241 | this.scrollToWindow(window); |
| 4242 | } |
| 4243 | this.applyLayout(); |
| 4244 | if (!cancelled && this.isActive()) { |
| 4245 | window.focus(); |
| 4246 | } |
| 4247 | } |
| 4248 | |
| 4249 | public focusWindow(window: WaylandWindow) { |
| 4250 | if (!this.shouldTile(window)) { |
| 4251 | return; |
| 4252 | } |
| 4253 | if (this.activeWindowId === window.id) { |
| 4254 | return; |
| 4255 | } |
| 4256 | this.activeWindowId = window.id; |
| 4257 | this.scrollToWindow(window); |
| 4258 | this.applyLayout(); |
| 4259 | } |
| 4260 | |
| 4261 | /** |
| 4262 | * "Go to this window": center the target in the viewport (overriding the |
| 4263 | * normal `scrollToWindow` which is a no-op when already visible) and animate |
| 4264 | * the layout. Used by dock clicks and any other "jump to window" gesture. |
| 4265 | */ |
no test coverage detected