[PATCH v6 1/7] server: Pass window's per-monitor DPI in set_window_pos.