Back to pull request #4119

prevent incorrect shifting of window when dragging onto monitor with different DPI #7470

Sign in to view logs

Triggered via pull request February 24, 2025 13:47

acarl005

synchronize #4119

warpdotdev:andy/fix-windows-dpi-changed

Status Success

Total duration 4m 59s

Artifacts –

ci.yml

on: pull_request

Check formatting

Check for typos

Minimize JavaScript

Matrix: cargo-deny

Matrix: tests