[PATCH 4/6] server: Pass window's per-monitor DPI in set_window_pos.